tgrospic / object-algebras
Experiments with higher-kinded types and object algebras in C#
☆35Updated 4 years ago
Related projects: ⓘ
- type-level programming in F#☆37Updated 5 years ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆42Updated 5 years ago
- A language for scientific computing that focuses on safety, expressiveness, and interoperability☆53Updated 2 weeks ago
- extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0☆48Updated 6 years ago
- LALR parser combinators for C# and F#.☆90Updated this week
- Finger Trees in F#.☆8Updated 6 years ago
- A library design for programming with effects and handlers in C#☆126Updated last week
- A logic programming library for F#☆45Updated 9 years ago
- Examples of Church encodings in C#☆15Updated 2 years ago
- Tools for building compilers, interpreters, and analysis tools in F#☆45Updated 3 years ago
- Open source F# mathematical logic library.☆11Updated 2 years ago
- Safe cross-platform functional programming directly in C#.☆18Updated 6 months ago
- A compiler framework for managed code.☆52Updated 4 years ago
- ☆30Updated 6 years ago
- A Common Intermediate Language backend for Idris 1☆131Updated 5 years ago
- This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…☆201Updated 3 years ago
- Guide, description and shared knowledge related to FFI in F# and .NET in general☆27Updated last year
- A library for programming with Algebraic Effects in F#☆96Updated 6 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…☆34Updated 7 months ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆18Updated 2 years ago
- experiments with @robkuz LimitedValue type☆70Updated 4 years ago
- Simple DSL to solve SMT problems using Z3 API in F#☆52Updated 5 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆28Updated 5 years ago
- ☆9Updated last year
- Multi-stage Programming in F#☆12Updated 8 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆34Updated 10 months ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Updated 6 years ago
- An experimental ML style language☆13Updated 5 years ago
- A port of MiniKanren to F# - embedded, typed logic programming☆25Updated 6 years ago
- Ela is a simple, yet powerful modern functional language with a state-of-art syntax. Ela combines strict and lazy evaluation, dynamic typ…☆23Updated 2 years ago