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.☆104Updated 8 months ago
- Guide, description and shared knowledge related to FFI in F# and .NET in general☆32Updated 2 years ago
- Formal verification tool based on predicate calculus and supporting several programming languages☆38Updated last week
- Python bindings for Fable☆144Updated 2 weeks ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Updated last year
- Use Zaid Ajaj Feliz API with SolidJS☆48Updated 2 years ago
- Fable online REPL☆66Updated 2 months ago
- The Gödelian Toolkit: Systematically Testing Simple Languages☆15Updated 3 weeks ago
- 🎈 A toy DSL to create presentations in F#☆18Updated 2 years ago
- Different type inference algorithms implemented in F#☆163Updated 4 years ago
- ☆55Updated last month
- ☆11Updated last year
- ☆19Updated last year
- λ calculus library made purely in and for F#☆33Updated 2 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
- An F# code library for pure functional programming... and much more!☆76Updated this week
- Hierarchical State Machine library☆51Updated 4 years ago
- A graph based approach to type inference written in F#☆16Updated 3 months ago
- Pure F# Parsec Implementation☆40Updated 5 years ago
- extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0☆55Updated 7 years ago
- Bix, an F# micro-framework for cross-runtime JavaScript backends☆36Updated last year
- ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization☆60Updated 5 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
- LALR parser combinators for C# and F#.☆100Updated this week
- Fable + Vite+ Tauri + React(Feliz)☆24Updated 2 years ago
- A library for programming with Algebraic Effects in F#☆100Updated 7 years ago
- EPUB authoring library for F#.☆29Updated 3 years ago
- An F# DSL for efficient markup generation, including HTML, SVG and XML.☆38Updated 2 months ago