Discover @Innf107 Open Source projects

Prophet (@Innf107)

Innf107

Stars
143
Global Rank 159,385 (Top 6 %)
Followers 218
Following 52
Registered over 5 years ago
Most used languages

Haskell
42.1 %

HTML
15.8 %

OCaml
15.8 %

JavaScript
5.3 %

TypeScript
5.3 %

C
5.3 %

PLSQL 5.3 %

Assembly
5.3 %

polaris

A functional programming language with shell scripting capabilities

vega

A dependently typed programming language with direct style effects and linearity

flora

A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments

Innf107.github.io

cobble-compiler

A purely functional programming language

aoc2023

essentials-of-compilation

lily

A proof assistant

helios

preluwude

An alternative prelude with a focus on efficient data structures and concrete transformer stacks

neon

A programming language that targets minecraft data packs

ocaml-bestline

OCaml bindings for bestline

navi

A dependently typed programming language with algebraic effects

SkynetII

bam-docs

Documentation for the BAM! programming language

vplan-ars

poly

some algorithms on polynomials

flora-vscode

Syntax highlighting for the Flora programming language

mcrcon

A Haskell implementation of the RCON protocol for Minecraft