palladin

It's Full of Stars!

NessosGreece

Pinned Repositories

Delimcc
A Monadic library for for multi-prompt delimited control in F#
Language:F#6 1 00
Eff
A library for programming with Algebraic Effects in F#
Language:F#99 8 04
fsharp-snippets
Collection of F# snippets
Language:F#40 3 05
Higher
A lightweight library of abstractions for Higher-kinded programming in F#
Language:F#183 18 825
idris-snippets
Collection of Idris snippets
Language:Idris21 3 03
LinqOptimizer
An automatic query optimizer-compiler for Sequential and Parallel LINQ.
Language:F#7 2 00
logic
A logic programming library for F#
Language:F#45 5 010
multi-stage-fsharp
Multi-stage Programming in F#
Language:F#12 3 04

palladin's Repositories

palladin/fsharpx
Extensions and Tools for F# Programming
Language:F#1
palladin/fsfoundation
The F# Software Foundation website
Language:CSS2 0
palladin/StreamsPLSeminar
Streams PL Seminar 2014
Language:F#2 01
palladin/StreamsPresentation
Presentation of F# Streams
Language:F#3 0