☆10Oct 27, 2024Updated last year
Alternatives and similar repositories for CompilerDesign
Users that are interested in CompilerDesign are comparing it to the libraries listed below
Sorting:
- Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…☆41Sep 17, 2025Updated 5 months ago
- Experimental Concept for an Elmish Hot Reloading Bolero setup☆14Sep 21, 2019Updated 6 years ago
- Plugin to replace FSharp.Data.JsonProvider default serialization with fast System.Text.Json☆14Sep 8, 2025Updated 5 months ago
- Ananoid provides nano identifiers, an alternative to UUIDs.☆15Feb 18, 2026Updated last week
- Business Banking with Akka.NET☆19Jan 21, 2026Updated last month
- Applied functional programming☆16Jan 15, 2021Updated 5 years ago
- A Blazing Fast, Bit-Oriented Serializer☆19Aug 5, 2023Updated 2 years ago
- A parser and interpreter for the "dialect" of "pseudocode" used in Rutgers University's Introduction to Computer Science course (01111)☆16Oct 6, 2020Updated 5 years ago
- ☆18Aug 18, 2023Updated 2 years ago
- F# GUI Tetris☆19Oct 18, 2025Updated 4 months ago
- A F# library for Nostr☆22Feb 9, 2024Updated 2 years ago
- A Bolero PWA (Blazor) SPA with Javascript Interop for 100% offline functionality☆21Nov 26, 2023Updated 2 years ago
- An Elmish F# Fable template that uses Tailwind for styling, the Vite bundler, the Vitest test runner and Storybook☆30Feb 16, 2023Updated 3 years ago
- Awesome F# Project Templates 🔷💙💛🤍💚☆29Mar 16, 2024Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- Formal verification tool based on predicate calculus and supporting several programming languages☆39Aug 23, 2025Updated 6 months ago
- A simple web based schedule editor for the evohome heating control system☆10Oct 31, 2019Updated 6 years ago
- Virtual keyboard for Qt Quick based applications.☆12Sep 3, 2021Updated 4 years ago
- ☆14Updated this week
- ☆34Sep 5, 2023Updated 2 years ago
- ☆41Dec 1, 2022Updated 3 years ago
- V9 of Microsoft's FluentUI library, built for F# in the style of Feliz.☆91Feb 12, 2026Updated 2 weeks ago
- ☆10Sep 28, 2020Updated 5 years ago
- Android App for Hacker News and Widget☆13Mar 5, 2025Updated 11 months ago
- Making it simple to customize Hosting for your .NET Core 6.x+ application☆10Oct 19, 2022Updated 3 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- Demonstration app for my lightning talk at QtDevCon22 - Handling Large Amount of Text in QML☆11Aug 18, 2023Updated 2 years ago
- A react thermostat which can be easily plugged into any smart home application, I've used this with Home Assistant connecting to websocke…☆10Aug 28, 2023Updated 2 years ago
- Case study using dotfurther's Open Discover Platform with the RavenDB document store to rapidly create a full-text search/eDiscovery/info…☆12May 28, 2024Updated last year
- Blazor Diffusion with Server Rendering and Vue☆11Jul 2, 2025Updated 7 months ago
- Mobile Application to display Virtual Keys as QR Codes, created in Flutter☆11Aug 7, 2023Updated 2 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- Reference implementations of Blockcore based blockchain☆16May 4, 2025Updated 9 months ago
- Theme manager for Qt Apps☆13Jun 7, 2022Updated 3 years ago
- My website☆12Jan 14, 2026Updated last month
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Fullstack application sample made with SAFE stack☆10Dec 11, 2022Updated 3 years ago
- A ReSharper test runner plugin for the Fixie Unit Test framework.☆11Apr 8, 2014Updated 11 years ago