cdiggins / Platonic.CSharp
Safe cross-platform functional programming directly in C#.
☆18Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for Platonic.CSharp
- ☆31Updated 6 years ago
- Experiments with higher-kinded types and object algebras in C#☆35Updated 4 years ago
- 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
- Multi-stage Programming in F#☆12Updated 8 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆28Updated 6 years ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆65Updated 6 months ago
- Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…☆72Updated 4 months ago
- A logic programming library for F#☆45Updated 9 years ago
- ☆15Updated 9 years ago
- An F# library for writing and reading .NET assemblies and modules☆12Updated 3 years ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Updated 6 years ago
- Tools for building compilers, interpreters, and analysis tools in F#☆45Updated 4 years ago
- ☆31Updated 2 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆67Updated 5 years ago
- Examples of Church encodings in C#☆16Updated 2 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated 2 months ago
- A library for fast reflective updates to immutable data trees☆19Updated 6 years ago
- Type-level integers for C#☆11Updated 9 months ago
- Finger Trees in F#.☆8Updated 6 years ago
- Library for building Language Server Protocol servers and clients in F#.☆44Updated 2 months ago
- The Visual F# compiler and tools☆40Updated 6 years ago
- Generate signature files for F#☆36Updated this week
- Functional Event Sourcing meets The Elm Architecture☆20Updated 3 years ago
- Elmish for Xamarin.Forms☆18Updated 4 years ago
- Shen for the Common Language Runtime☆33Updated 2 weeks ago
- Prototype for an F# MSIL DSL☆26Updated 11 years ago
- A port of MiniKanren to F# - embedded, typed logic programming☆25Updated 6 years ago
- Fun 3D: Composing 3D objects with F#☆11Updated last week
- Sample how to perform export of F* to F# with Nuget☆9Updated last month