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 10 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 9 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 library for fast reflective updates to immutable data trees☆19Updated 7 years ago
- A state machine type provider☆35Updated 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
- ☆20Updated 8 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆43Updated 7 years ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆70Updated 5 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated 2 weeks ago
- An F# wrapper for gnuplot charting library☆35Updated 6 years ago
- This repository shows what various F# code snippets look like when compiled and then decompiled into C#. See blog post at http://fsharpfo…☆14Updated 9 years ago
- ScalableJoins☆16Updated 9 years ago
- Compatibility libraries for F#☆46Updated 6 years ago
- FSharp OpenCL Compiler☆102Updated 7 years ago
- A runtime assembly management library☆75Updated 3 years ago
- Tools for building compilers, interpreters, and analysis tools in F#☆46Updated 4 years ago
- [ARCHIVED] An actor framework for F#☆152Updated 4 years ago
- A collection of awesome resources for learning F#.☆22Updated 8 years ago
- An attempt at porting Quake III to F# (FSharp)☆91Updated 10 years ago
- A Simple Dynamic Scripting Language for .NET☆79Updated 7 years ago
- A C# code generator using Roslyn, extracted from Wasabi v3.1.0. MIT licensed.☆46Updated 9 years ago
- A F# Hawk implementation with a strongly typed API that guides your usage and minimises security programming errors.☆36Updated 6 years ago
- An F# CodeDOM implementation (based on the old F# Power Pack)☆25Updated 4 years ago
- An experiment in next-generation front-end combinator library for WebSharper☆39Updated 6 years ago
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆23Updated last year
- Multi-stage Programming in F#☆12Updated 9 years ago