naasking / uKanren.NETLinks
A native implementation of the MicroKanren DSL for .NET
☆47Updated 10 years ago
Alternatives and similar repositories for uKanren.NET
Users that are interested in uKanren.NET are comparing it to the libraries listed below
Sorting:
- A probabilistic programming framework for C#☆97Updated 6 years ago
- Experimental concepts for C# using Roslyn☆81Updated 4 years ago
- ☆26Updated last year
- A runtime assembly management library☆74Updated 3 years ago
- The IronMeta parser generator provides a programming language and application for generating pattern matchers on arbitrary streams of obj…☆82Updated 3 years ago
- ScalableJoins☆16Updated 10 years ago
- Absurdly high performance immutable collections.☆122Updated 9 years ago
- Nitra is a language workbench☆148Updated 3 years ago
- Simple tools for working with immutable trees☆60Updated 2 weeks ago
- Compatibility libraries for F#☆48Updated 7 years ago
- DSL, parser and code-generator for Algebraic Data Types (Record and Union types) in C#☆58Updated last year
- Library for SQL parsing, AST manipulation and SQL generation in F#☆67Updated last year
- Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…☆85Updated 10 months ago
- Transducers for .NET☆26Updated 11 years ago
- A Simple Dynamic Scripting Language for .NET☆79Updated 7 years ago
- Micro C# Compiler☆47Updated 5 years ago
- Model-checker for lock and wait free C# code☆78Updated 7 years ago
- A language for scientific computing that focuses on safety, expressiveness, and interoperability☆57Updated 10 months ago
- Extensions for runtime reflection and structural induction☆52Updated 3 months ago
- An actor framework for F#☆47Updated 5 years ago
- Democratizing GPGPU programming through OpenCL and LINQ.☆185Updated 10 years ago
- This parser is an implementation of a Packrat Parser with support for left-recursion. The algorithm for left recursion is a modified vers…☆16Updated 6 years ago
- Automatically concurrent data fetching and request deduplication in C#.☆140Updated 9 years ago
- Redis based distributed actors + Dead simple API for distributed POCOs persistence☆57Updated 7 years ago
- A compiler framework for managed code.☆53Updated 6 years ago
- FSharp OpenCL Compiler☆102Updated 7 years ago
- LLVM bindings for F#☆94Updated 9 years ago
- Prototype for an F# MSIL DSL☆27Updated 12 years ago
- Computer Algebra and Symbolic Computation in C#☆223Updated 6 years ago
- Home of LoycCore, the LES language of Loyc trees, the Enhanced C# parser, the LeMP macro preprocessor, and the LLLPG parser generator.☆180Updated last year