Pinned Repositories
aoc2023
cobble-compiler
A purely functional programming language
essentials-of-compilation
flora
A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments
Innf107.github.io
My blog
lily
A proof assistant
neon
A programming language that targets minecraft data packs
polaris
A functional programming language with shell scripting capabilities
preluwude
An alternative prelude with a focus on efficient data structures and concrete transformer stacks
vega
A dependently typed programming language with direct style effects and linearity
Innf107's Repositories
Innf107/polaris
A functional programming language with shell scripting capabilities
Innf107/vega
A dependently typed programming language with direct style effects and linearity
Innf107/flora
A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments
Innf107/cobble-compiler
A purely functional programming language
Innf107/aoc2023
Innf107/Innf107.github.io
My blog
Innf107/essentials-of-compilation
Innf107/helios
An HTTP server
Innf107/preluwude
An alternative prelude with a focus on efficient data structures and concrete transformer stacks
Innf107/lily
A proof assistant
Innf107/neon
A programming language that targets minecraft data packs
Innf107/bam-docs
Documentation for the BAM! programming language
Innf107/flora-vscode
Syntax highlighting for the Flora programming language
Innf107/navi
A dependently typed programming language with algebraic effects
Innf107/ocaml-bestline
OCaml bindings for bestline
Innf107/poly
some algorithms on polynomials
Innf107/SkynetII
A discord bot.
Innf107/aoc2022
Advent of Code 2022
Innf107/astral-reader
A web based RSS/Atom reader
Innf107/eio
Effects-based direct-style IO for multicore OCaml
Innf107/fakedict
Faking Local Instances with unsafeCoerce Dict
Innf107/flora-rust
Innf107/jam0003
Innf107/lily-vscode
Syntax highlighting for the Lily theorem prover
Innf107/ocaml-readline
(Incomplete) OCaml bindings for libreadline
Innf107/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Innf107/polaris-vscode
Syntax highlighting for the Polaris programming language
Innf107/Sebull-git.github.io
My Blog
Innf107/tempest
Easily create and manage one-off temporary projects in a few languages
Innf107/xar
Executable Archives for Everyone