Topener / awesome-adventofcode
An Awesome List of AdventOfCode Participants
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for awesome-adventofcode
- My Advent of Code solutions☆22Updated 10 months ago
- ☆27Updated last month
- SICP in haskell, both exercises and sample codes.☆10Updated 8 years ago
- regexes for trees; grep for s-exprs☆17Updated 5 months ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆12Updated 5 months ago
- The Coil Programming Language☆34Updated 8 months ago
- ☆12Updated 6 months ago
- Haskell-style monads in Rust.☆18Updated last year
- Simple scheme bytecode VM☆30Updated 2 years ago
- Glide programming language☆20Updated last year
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 10 months ago
- A programming language based on bindings.☆11Updated 8 months ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆28Updated 2 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Updated 3 years ago
- The Codebase UI that ships with UCM☆14Updated last week
- OCaml game engine and Vampire Survivors inspired game☆43Updated 10 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆30Updated last year
- Like APL, but with emojis☆16Updated 2 years ago
- ☆34Updated 5 years ago
- Racket Lang for Virtual Reality (Aframe)☆10Updated 4 years ago
- Advent of Code 2020 solutions in Dyalog APL☆22Updated 3 years ago
- An interpreter/compiler for a toy language called While. The implementation is in Python.☆19Updated last year
- A small general purpose programming language for programming on the JVM. packages: https://smllpkgs.onrender.com/☆14Updated 2 months ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- ☆9Updated 5 months ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 8 months ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 2 months ago
- Formatter for Protocol Buffer files☆28Updated 2 years ago