Pinned Repositories
amethyst
Staged programming for minecraft functions
aoc2024
Advent of Code 2024 with minecraft commands
cobble-compiler
A purely functional programming language
destructive-lasers
Scrap Mechanic mod that adds destructive lasers
flora
A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments
Innf107.github.io
My blog
polaris
A functional programming language with shell scripting capabilities
vega
vega-prototype
Prototype for https://github.com/Innf107/vega
Innf107's Repositories
Innf107/polaris
A functional programming language with shell scripting capabilities
Innf107/vega-prototype
Prototype for https://github.com/Innf107/vega
Innf107/vega
Innf107/flora
A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments
Innf107/Innf107.github.io
My blog
Innf107/aoc2024
Advent of Code 2024 with minecraft commands
Innf107/cobble-compiler
A purely functional programming language
Innf107/neon
A programming language that targets minecraft data packs
Innf107/amethyst
Staged programming for minecraft functions
Innf107/aoc2023
Innf107/preluwude
An alternative prelude with a focus on efficient data structures and concrete transformer stacks
Innf107/essentials-of-compilation
Innf107/lily
A proof assistant
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/destructive-lasers
Scrap Mechanic mod that adds destructive lasers
Innf107/aoc2022
Advent of Code 2022
Innf107/astral-reader
A web based RSS/Atom reader
Innf107/effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Innf107/eio
Effects-based direct-style IO for multicore OCaml
Innf107/flora-rust
Innf107/jam0003
Innf107/lily-vscode
Syntax highlighting for the Lily theorem prover
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/tempest
Easily create and manage one-off temporary projects in a few languages