NICTA / xsharpxLinks
XSharpX is a general library for functional programming using .NET languages.
☆30Updated 9 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 10 years ago
- A Common Intermediate Language backend for Idris 1☆134Updated 7 years ago
- Experiments with Monads in C#☆11Updated 10 years ago
- Multi-stage Programming in F#☆12Updated 9 years ago
- A .NET Bridge for Haskell☆25Updated 9 years ago
- Experimental event store database entirely written in Haskell☆31Updated 8 years ago
- [ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus☆104Updated 8 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 7 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
- An experiment in next-generation front-end combinator library for WebSharper☆39Updated 7 years ago
- Typed Yaml Library for F#☆37Updated 3 years ago
- A simple F# utility for testing performance☆33Updated 6 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- A lightweight library of abstractions for Higher-kinded programming in F#☆185Updated 7 years ago
- Deprecated: Please use Forge: https://github.com/fsharp-editing/Forge☆21Updated 7 years ago
- A library for programming with Algebraic Effects in F#☆101Updated 7 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆44Updated 8 years ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- The Visual F# compiler and tools☆41Updated 7 years ago
- experiments with @robkuz LimitedValue type☆71Updated 6 years ago
- Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.☆92Updated this week
- Links to some of my publications☆40Updated 9 months ago
- Functional Reactive Programming for F#☆18Updated 7 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆70Updated 6 years ago
- F# API search engine☆34Updated 3 years ago
- ☆15Updated 10 years ago
- A logic programming library for F#☆46Updated 10 years ago
- Created primarily as an internal tool for the F# version of Hedgehog. Test interactive F# examples, similar to doctest for Haskell.☆10Updated 8 years ago
- Haskell integration for Visual Studio☆22Updated 11 years ago