There are no reviews yet. Be the first to send feedback to the community and the maintainers!
polaris
A functional programming language with shell scripting capabilitiesvega
A dependently typed programming language with direct style effects and linearityflora
A pure embeddable functional programming language with algebraic effects and direct access to evaluation environmentscobble-compiler
A purely functional programming languageInnf107.github.io
My blogessentials-of-compilation
neon
A programming language that targets minecraft data packsocaml-bestline
OCaml bindings for bestlinenavi
A dependently typed programming language with algebraic effectslily
A proof assistantSkynetII
A discord bot.vplan-ars
bam-docs
Documentation for the BAM! programming languagehelios
An HTTP serverflora-vscode
Syntax highlighting for the Flora programming languagemcrcon
A Haskell implementation of the RCON protocol for MinecraftLove Open Source and this site? Check out how you can help us