willkill07 / AdventOfCode2020Links
☆10Updated 5 years ago
Alternatives and similar repositories for AdventOfCode2020
Users that are interested in AdventOfCode2020 are comparing it to the libraries listed below
Sorting:
- 100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks☆32Updated 10 months ago
- A small, weird and unpractical programming language.☆102Updated this week
- doing the same thing over and over and expecting the same results☆41Updated 4 years ago
- Victim programming language written in Haskell☆43Updated 2 years ago
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆49Updated 11 months ago
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆340Updated this week
- A curated list of combinators☆124Updated 2 weeks ago
- List of small programming languages that you can implement in a relatively small amount of time for educational purposes.☆113Updated 3 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆85Updated this week
- Programming with pure lambda calculus☆140Updated last month
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- actually publishing my solutions now that they're not redundant...☆211Updated 3 years ago
- ☆38Updated 4 years ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆58Updated 2 months ago
- Source Code from "Making Music with Haskell" video☆140Updated 5 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 4 years ago
- Experiments in building "better" languages and tools; for some measure of better.☆265Updated last week
- Bootstrap compiler for Firefly☆56Updated this week
- Tiny Programs: Rosetta code for implementations☆57Updated 2 years ago
- ☆39Updated last year
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆61Updated this week
- A functional programming language with shell scripting capabilities☆131Updated last month
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- A new programming language built from scratch as learning tool☆79Updated 2 years ago
- A garden of small programming language implementations 🪴☆310Updated this week
- Madlib language compiler☆27Updated last year
- Image-based poetic programming language.☆147Updated last year
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆101Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- A series of down-to-earth articles on implementing type inference☆166Updated 5 years ago