tgrospic / object-algebrasLinks
Experiments with higher-kinded types and object algebras in C#
☆38Updated 5 years ago
Alternatives and similar repositories for object-algebras
Users that are interested in object-algebras are comparing it to the libraries listed below
Sorting:
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆43Updated 6 years ago
- Open source F# mathematical logic library.☆12Updated 3 years ago
- Safe cross-platform functional programming directly in C#.☆20Updated last year
- 🦅 VSCode extension for F* with IDE features☆15Updated 5 years ago
- Guide, description and shared knowledge related to FFI in F# and .NET in general☆31Updated 2 years ago
- type-level programming in F#☆37Updated 6 years ago
- Finger Trees in F#.☆8Updated 7 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆29Updated 6 years ago
- extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0☆55Updated 7 years ago
- Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…☆42Updated last year
- Simple DSL to solve SMT problems using Z3 API in F#☆53Updated 6 years ago
- A language for scientific computing that focuses on safety, expressiveness, and interoperability☆55Updated last month
- LALR parser combinators for C# and F#.☆99Updated last month
- A logic programming library for F#☆46Updated 10 years ago
- A port of MiniKanren to F# - embedded, typed logic programming☆29Updated 7 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Updated last year
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- A Common Intermediate Language backend for Idris 1☆133Updated 6 years ago
- λ calculus library made purely in and for F#☆33Updated last year
- ☆15Updated 9 years ago
- Tools for building compilers, interpreters, and analysis tools in F#☆46Updated 4 years ago
- This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…☆207Updated 3 years ago
- Shaking expression trees until something tasty pops out☆16Updated 6 years ago
- ☆9Updated 7 months ago
- An experimental ML style language☆13Updated 6 years ago
- Examples of Church encodings in C#☆16Updated 2 years ago
- This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…☆35Updated last year
- Multi-stage Programming in F#☆12Updated 9 years ago
- A theorem prover embedded in F#'s computation expressions☆35Updated this week
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated last month