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
- Minimal type inference Algorithm W and Algorithm M in F#☆35Updated last year
- ☆11Updated last year
- Pure F# Parsec Implementation☆39Updated 5 years ago
- Guide, description and shared knowledge related to FFI in F# and .NET in general☆29Updated 2 years ago
- A graph based approach to type inference written in F#☆16Updated 5 months ago
- ☆9Updated 6 months ago
- ☆19Updated last year
- 🎈 A toy DSL to create presentations in F#☆18Updated 2 years ago
- A proof checker embedded in F#'s computation expressions☆24Updated this week
- Different type inference algorithms implemented in F#☆163Updated 4 years ago
- ☆20Updated 2 years ago
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆102Updated 4 months ago
- The Gödelian Toolkit: Systematically Testing Simple Languages☆13Updated 3 months 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
- ☆53Updated last month
- Use Zaid Ajaj Feliz API with SolidJS☆48Updated 2 years ago
- A Scheme compiler that targets .NET written in F#☆28Updated 9 months ago
- Generate signature files for F#☆47Updated 3 weeks ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- Fable + Vite+ Tauri + React(Feliz)☆24Updated 2 years ago
- type-level programming in F#☆37Updated 6 years ago
- Falco GraphQL Sample 🐣💙💛🤍💚☆17Updated last year
- F# version of Doom using original rendering techniques (BSP etc.)☆22Updated 2 years ago
- ☆16Updated 5 months ago
- F# GUI Tetris☆19Updated last year
- Simple DSL to solve SMT problems using Z3 API in F#☆53Updated 6 years ago
- extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0☆50Updated 7 years ago
- Bix, an F# micro-framework for cross-runtime JavaScript backends☆36Updated 11 months ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆15Updated last year
- A toolkit for building IDE-style web applications, using Sutil.☆19Updated last week