tpetricek / tiny-systemsLinks
Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!
☆42Updated last year
Alternatives and similar repositories for tiny-systems
Users that are interested in tiny-systems are comparing it to the libraries listed below
Sorting:
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆105Updated 9 months ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Updated last year
- Guide, description and shared knowledge related to FFI in F# and .NET in general☆33Updated 2 years ago
- Formal verification tool based on predicate calculus and supporting several programming languages☆38Updated last month
- Fable online REPL☆66Updated last week
- ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization☆60Updated 5 years ago
- λ calculus library made purely in and for F#☆33Updated 2 years ago
- A logic programming library for F#☆47Updated 10 years ago
- Different type inference algorithms implemented in F#☆163Updated 4 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆30Updated 6 years ago
- Use Zaid Ajaj Feliz API with SolidJS☆48Updated 3 years ago
- Hierarchical State Machine library☆51Updated 4 years ago
- The Gödelian Toolkit: Systematically Testing Simple Languages☆15Updated last month
- 🎈 A toy DSL to create presentations in F#☆18Updated 2 years ago
- Python bindings for Fable☆144Updated 2 weeks ago
- ☆11Updated last year
- extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0☆55Updated 7 years ago
- A port of MiniKanren to F# - embedded, typed logic programming☆30Updated 7 years ago
- ☆55Updated last month
- LALR parser combinators for C# and F#.☆100Updated this week
- A graph based approach to type inference written in F#☆16Updated 4 months ago
- Generate signature files for F#☆47Updated 2 weeks ago
- Bix, an F# micro-framework for cross-runtime JavaScript backends☆36Updated last year
- Pure F# Parsec Implementation☆39Updated 5 years ago
- F# version of Doom using original rendering techniques (BSP etc.)☆22Updated 2 years ago
- Tiger Compiler implemented in F#☆11Updated 4 years ago
- Simple DSL to solve SMT problems using Z3 API in F#☆53Updated 6 years ago
- This repository is a minimal starter template for using Spectre.Console from a console application in F#, using commands and settings bin…☆17Updated last year
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆43Updated 6 years ago
- Library for building Language Server Protocol servers and clients in F#.