dsyme / ProLaLa2022
Material for ProLaLa Keynote
β13Updated 2 years ago
Related projects: β
- A logic programming library for F#β45Updated 9 years ago
- π¦ VSCode extension for F* with IDE featuresβ15Updated 4 years ago
- Shaking expression trees until something tasty pops outβ16Updated 5 years ago
- β15Updated last year
- Shen for the Common Language Runtimeβ32Updated 4 months ago
- Salon des RefusΓ©s - Dialectics for new computer scienceβ11Updated 5 years ago
- dependently-typed lisp with flexible compiler backendsβ25Updated 5 years ago
- β21Updated 4 years ago
- Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)β14Updated 3 years ago
- FsHlvm is a cross-platform open-source high level virtual machine written in F# and uses the LLVM library for high-performance code generβ¦β27Updated 3 years ago
- A 65C02 Assembly eDSL in Haskellβ16Updated 6 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#β28Updated 5 years ago
- F# GLFW 3 Bindingβ10Updated 6 years ago
- An experimental language server for SomewhatMLβ23Updated last year
- Safe cross-platform functional programming directly in C#.β18Updated 6 months ago
- A port of MiniKanren to F# - embedded, typed logic programmingβ25Updated 6 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.β20Updated 2 weeks ago
- experiments with @robkuz LimitedValue typeβ70Updated 4 years ago
- β15Updated 9 years ago
- Building Emulators inF#β11Updated 3 years ago
- Implementation of forth programming language in fsharp for learning purposes.β20Updated 5 years ago
- Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal codeβ49Updated 10 years ago
- A simple interpreter featuring a tracing JITβ15Updated 13 years ago
- Multi-stage Programming in F#β12Updated 8 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.β28Updated 2 years ago
- Intro to F# demo projectβ25Updated 6 years ago
- MLpolyRβ7Updated 8 years ago
- The MLtonLibrary repositoryβ34Updated last year
- Minimal type inference Algorithm W and Algorithm M in F#β34Updated 10 months ago
- A port of microKanren (Ruby) to CSharp (the f# versions mentioned on the ukanren site look more interesting https://github.com/kurtschelfβ¦β17Updated 3 years ago