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
Alternatives and similar repositories for csharp_ukanren:
Users that are interested in csharp_ukanren are comparing it to the libraries listed below
- A port of MiniKanren to F# - embedded, typed logic programming☆27Updated 7 years ago
- A logic programming library for F#☆46Updated 9 years ago
- ☆20Updated 8 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…☆28Updated 4 years ago
- A type-level logic programming language embedded in F#☆32Updated 6 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated last week
- An F# wrapper for gnuplot charting library☆35Updated 6 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
- F# Implementation of The Elm Architecture☆29Updated 3 years ago
- Tools for building compilers, interpreters, and analysis tools in F#☆45Updated 4 years ago
- The simplest Todo app showcasing a client-server application written entirely in F#☆46Updated 2 years ago
- F# implementation of the Raft consensus algorithm from the paper 'In Search of an Understandable Consensus Algorithm'.☆25Updated 11 years ago
- Compatibility libraries for F#☆46Updated 6 years ago
- Templates for F# projects, by the F# community, for use in Visual Studio, Xamarin Studio and other editors☆104Updated 8 years ago
- A stream processing library for F#☆39Updated 9 years ago
- From the article "Low risk ways to use F# at work" (http://fsharpforfunandprofit.com/posts/low-risk-ways-to-use-fsharp-at-work/)☆53Updated 10 years ago
- An F# CodeDOM implementation (based on the old F# Power Pack)☆25Updated 4 years ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆65Updated 10 months ago
- A collection of awesome resources for learning F#.☆22Updated 8 years ago
- A purely-functional random number generator framework designed for F#☆52Updated 4 years ago
- A library for fast reflective updates to immutable data trees☆19Updated 7 years ago
- A state machine type provider☆35Updated 8 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆43Updated 7 years ago
- ☆68Updated 6 years ago
- [ARCHIVED] An actor framework for F#☆153Updated 4 years ago
- F# computation expressions for defining HTTP resources and configuring IWebHostBuilder.☆161Updated 3 years ago
- ☆12Updated 2 years ago
- FSock - simple C#/F# API for communicating async socket clients and servers☆22Updated 7 years ago
- Functional wrapper around ADO.NET for F#☆67Updated last year
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆23Updated last year