naasking / uKanren.NET
A native implementation of the MicroKanren DSL for .NET
☆45Updated 9 years ago
Related projects: ⓘ
- A runtime assembly management library☆75Updated 2 years ago
- High Performance, Immutable Data Structures for .NET☆123Updated 8 years ago
- LLVM bindings for F#☆95Updated 8 years ago
- Compatibility libraries for F#☆44Updated 6 years ago
- A Simple Dynamic Scripting Language for .NET☆78Updated 6 years ago
- A language for scientific computing that focuses on safety, expressiveness, and interoperability☆53Updated 2 weeks ago
- A probabilistic programming framework for C#☆96Updated 4 years ago
- Experimental concepts for C# using Roslyn☆80Updated 3 years ago
- A visual object tree inspector for the F# Interactive☆83Updated 9 months 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 8 years ago
- A port of MiniKanren to F# - embedded, typed logic programming☆25Updated 6 years ago
- An actor framework for F#☆48Updated 4 years ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆64Updated 5 months ago
- Intro to F# demo project☆25Updated 6 years ago
- Micro C# Compiler☆47Updated 3 years ago
- Quotation Compilation library that uses FSharp.Compiler.Service☆76Updated 3 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆42Updated 7 years ago
- ☆30Updated 6 years ago
- The IronMeta parser generator provides a programming language and application for generating pattern matchers on arbitrary streams of obj…☆81Updated 2 years ago
- ScalableJoins☆16Updated 8 years 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 2 months ago
- [ARCHIVED] An actor framework for F#☆151Updated 3 years ago
- F# MVC framework for WPF.☆81Updated 6 years ago
- F# extentions for The Stanford.NLP.NET☆57Updated 6 years ago
- extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0☆48Updated 6 years ago
- Fluent members for F# FSharp.Core functions☆71Updated last year
- F# Implementation of The Elm Architecture☆29Updated 3 years ago
- Transducers for .NET☆26Updated 9 years ago