Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / exFalso
Developer Profile

exFalso

Discovered public repositories for exFalso in the GitHub catalog.

↗

exFalso/Elm

The Elm programming language aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.

↗

exFalso/NowHs

NowHs because nobody wants server side javascript

↗

exFalso/TypeRegister

type level register machines in Haskell, proving UndecidableInstances is turing complete

↗

exFalso/ProxN

Efficient calculation of proximity sets in N dimensions

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.