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:
- Minimal type inference Algorithm W and Algorithm M in F#☆35Updated last year
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆104Updated 7 months ago
- ☆9Updated 9 months ago
- Guide, description and shared knowledge related to FFI in F# and .NET in general☆32Updated 2 years ago
- λ calculus library made purely in and for F#☆33Updated 2 years ago
- Hierarchical State Machine library☆51Updated 4 years ago
- Bix, an F# micro-framework for cross-runtime JavaScript backends☆36Updated last year
- 🎈 A toy DSL to create presentations in F#☆18Updated 2 years ago
- The Gödelian Toolkit: Systematically Testing Simple Languages☆15Updated this week
- Use Zaid Ajaj Feliz API with SolidJS☆48Updated 2 years ago
- A graph based approach to type inference written in F#☆16Updated 3 months ago
- Formal verification tool based on predicate calculus and supporting several programming languages☆37Updated 2 weeks ago
- Different type inference algorithms implemented in F#