NICTA / xsharpxLinks
XSharpX is a general library for functional programming using .NET languages.
☆30Updated 8 years ago
Alternatives and similar repositories for xsharpx
Users that are interested in xsharpx are comparing it to the libraries listed below
Sorting:
- FsCheckUtils adds FsCheck utilities aimed at C# developers and adds some things from ScalaCheck e.g. someof and pick☆10Updated 9 years ago
- A Common Intermediate Language backend for Idris 1☆134Updated 6 years ago
- Experiments with Monads in C#☆11Updated 10 years ago
- Multi-stage Programming in F#☆12Updated 9 years ago
- Deprecated: Please use Forge: https://github.com/fsharp-editing/Forge☆21Updated 7 years ago
- [ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus☆104Updated 8 years ago
- An experiment in next-generation front-end combinator library for WebSharper☆39Updated 7 years ago
- A .NET Bridge for Haskell☆25Updated 9 years ago
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Updated 10 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆70Updated 6 years ago
- Experimental event store database entirely written in Haskell☆31Updated 8 years ago
- ☆15Updated 10 years ago
- experiments with @robkuz LimitedValue type☆71Updated 6 years ago
- Links to some of my publications☆40Updated 8 months ago
- Typed Yaml Library for F#☆37Updated 3 years ago
- A library for programming with Algebraic Effects in F#☆100Updated 7 years ago
- A lightweight framework for reactive programming☆16Updated 9 years ago
- A simple F# utility for testing performance☆33Updated 6 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆42Updated 8 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- Collection of F# snippets☆40Updated last year
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 7 years ago
- A lightweight library of abstractions for Higher-kinded programming in F#☆185Updated 7 years ago
- fsharp tutorials: *nix, docker, vim, mono, paket, oh my!☆36Updated 8 years ago
- Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.☆92Updated last week
- ☆24Updated 8 years ago
- A Idris Mode for Atom.io☆102Updated last year
- The Visual F# compiler and tools☆41Updated 7 years ago
- A logic programming library for F#☆47Updated 10 years ago