tpetricek / tiny-systems
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
- Guide, description and shared knowledge related to FFI in F# and .NET in general☆29Updated 2 years ago
- Pure F# Parsec Implementation☆39Updated 5 years 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
- ☆9Updated 5 months ago
- ☆19Updated last year
- A graph based approach to type inference written in F#☆15Updated 4 months ago
- ☆19Updated 2 years ago
- Hierarchical State Machine library☆51Updated 4 years ago
- ☆52Updated 2 weeks ago
- This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…☆34Updated last year
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆102Updated 3 months ago
- Abstract Syntax Tree (AST) Domain Specific Language (DSL) for F#☆55Updated last week
- λ calculus library made purely in and for F#☆33Updated last year
- Library for building Language Server Protocol servers and clients in F#.☆46Updated 3 weeks ago
- Example of using native libraries in F#☆11Updated last month
- Generate signature files for F#☆47Updated 3 weeks ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆15Updated last year
- An F# DSL for efficient markup generation, including HTML, SVG and XML.☆36Updated 2 weeks ago
- 🎈 A toy DSL to create presentations in F#☆17Updated 2 years ago
- ☆11Updated last year
- Falco GraphQL Sample 🐣💙💛🤍💚☆17Updated 11 months ago
- The Gödelian Toolkit: Systematically Testing Simple Languages☆13Updated 2 months ago
- Library for building custom analyzers for F# / FSAC☆77Updated last week
- Open source F# mathematical logic library.☆11Updated 2 years ago
- Nagareyama (Fable 3) samples☆47Updated last month
- Sokoban game for iOS and Android written in F# using Xamarin Fabulous framework☆20Updated 6 years ago
- F# version of Doom using original rendering techniques (BSP etc.)☆22Updated 2 years ago
- Fable online REPL☆65Updated 3 months ago
- Tool which converts json from file into F# records☆11Updated last year