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
vega
A dependently typed programming language with direct style effects and linearity
Innf107's Repositories
Innf107/systemfpw
Innf107/andesite
An Interpreter for Minecraft Datapacks
Innf107/gpml
General Purpose Macro Language
Innf107/tripwire
A benchmarking tool for Minecraft Datapacks
Innf107/mcrcon
A Haskell implementation of the RCON protocol for Minecraft
Innf107/liberation
free-like effects in ReaderT IO
Innf107/calamity
A library for writing discord bots in haskell
Innf107/fshell
Innf107/turingmachine
Innf107/vplan-ars
Innf107/OpenMissileWars
A combined plugin and server infrastructure for running a low-scale Missile Wars clone
Innf107/ZipSH
A shell for navigating zip archives
Innf107/ElmAutoDecoder
A tool to automatically generate JSON Encoders/Decoders for Elm based on type definitions
Innf107/Elm-Unification
Innf107/FScript
A simple dynamic language written in Haskell