ozzymcduff / csharp_ukanren
A port of microKanren (Ruby) to CSharp (the f# versions mentioned on the ukanren site look more interesting https://github.com/kurtschelfthout/FsLogic )
☆17Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for csharp_ukanren
- A port of MiniKanren to F# - embedded, typed logic programming☆25Updated 6 years ago
- A logic programming library for F#☆45Updated 9 years ago
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Updated 9 years ago
- A stream processing library for F#☆39Updated 8 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated 3 months 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…☆28Updated 4 years ago
- A type-level logic programming language embedded in F#☆31Updated 6 years ago
- Deprecated: Please use Forge: https://github.com/fsharp-editing/Forge☆21Updated 6 years ago
- A library for fast reflective updates to immutable data trees☆19Updated 6 years ago
- Tools for building compilers, interpreters, and analysis tools in F#☆45Updated 4 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆43Updated 7 years ago
- A state machine type provider☆35Updated 8 years ago
- Source code of the www.tryjoinads.org project (web page only)☆17Updated 11 years ago
- ☆68Updated 6 years ago
- An F# wrapper for gnuplot charting library☆35Updated 6 years ago
- F# implementation of the Raft consensus algorithm from the paper 'In Search of an Understandable Consensus Algorithm'.☆25Updated 11 years ago
- Qualia is a MVC-ish UI framework heavily inspired by React+Flux and FSharp.Desktop.UI The goal is to provide a decoupled architecture usi…☆12Updated 6 years ago
- FSharp OpenCL Compiler☆102Updated 6 years ago
- F# Type Providers for SqlDataConnection, SqlEntityConnection, ODataService, WsdlService and EdmxFile using .NET Framework generators☆38Updated 3 years ago
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆68Updated 4 years ago
- ☆20Updated 8 years ago
- A purely-functional random number generator framework designed for F#☆52Updated 4 years ago
- Functional wrapper around ADO.NET for F#☆67Updated 10 months ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆65Updated 7 months ago
- Docopt for F#☆34Updated 4 years ago
- [ARCHIVED] Extensions for asynchronous programming in F#☆43Updated 9 years ago
- Utilities for Fable apps☆33Updated 5 years ago
- ☆15Updated 9 years ago
- ScalableJoins☆16Updated 9 years ago