Pinned Repositories
Delimcc
A Monadic library for for multi-prompt delimited control in F#
Eff
A library for programming with Algebraic Effects in F#
fsharp-snippets
Collection of F# snippets
Higher
A lightweight library of abstractions for Higher-kinded programming in F#
idris-snippets
Collection of Idris snippets
LinqOptimizer
An automatic query optimizer-compiler for Sequential and Parallel LINQ.
logic
A logic programming library for F#
multi-stage-fsharp
Multi-stage Programming in F#
palladin's Repositories
palladin/Higher
A lightweight library of abstractions for Higher-kinded programming in F#
palladin/Eff
A library for programming with Algebraic Effects in F#
palladin/logic
A logic programming library for F#
palladin/fsharp-snippets
Collection of F# snippets
palladin/idris-snippets
Collection of Idris snippets
palladin/multi-stage-fsharp
Multi-stage Programming in F#
palladin/LinqOptimizer
An automatic query optimizer-compiler for Sequential and Parallel LINQ.
palladin/Delimcc
A Monadic library for for multi-prompt delimited control in F#
palladin/little-reasoner
A small hack that combines the power of ChatGPT and the Z3 theorem prover
palladin/typescript-snippets
Collection of typescript snippets
palladin/13-ways-of-looking-at-a-turtle
Thirteen different ways of implementing a LOGO-style turtle in F#! Related blog post: http://fsharpforfunandprofit.com/posts/13-ways-of-looking-at-a-turtle/
palladin/cubicaltt-snippets
Cubical Type Theory snippets
palladin/fsharp-exchange
Presentation and demo code for the F# eXchange 2015
palladin/cubicaltt
palladin/dependency-injection-revisited
Sample code for article
palladin/EffSharp
A library design for programming with effects and handlers in C#
palladin/fsharp-for-the-masses
F# for the masses
palladin/GpuLinq
Democratizing GPGPU programming through OpenCL and LINQ.
palladin/Hype
Hype: Compositional Machine Learning and Hyperparameter Optimization
palladin/Idris-dev
A Dependently Typed Functional Programming Language
palladin/mbrace-docs
MBrace website and document generation repository
palladin/mbrace-on-brisk-starter
Contains a set of scripts and demos to get you up and running with MBrace on Brisk.
palladin/MBrace.AWS
MBrace runtime implementation targeting Amazon Web Services
palladin/MBrace.Azure
Windows Azure PaaS implementation for MBrace
palladin/MBrace.Core
Core repository of the MBrace programming model and runtime basics
palladin/MBrace.StarterKit
A collection of demos and tutorials for MBrace
palladin/roslyn
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
palladin/Splicer
Expression Tree splicing in C#
palladin/Streams
A lightweight F#/C# library for efficient functional-style pipelines on streams of data.
palladin/up-for-grabs.net
Jump in!