Nick Palladinos

Higher. A lightweight library of abstractions for Higher-kinded programming in F#

Eff. A library for programming with Algebraic Effects in F#

logic. A logic programming library for F#

fsharp-snippets. Collection of F# snippets

idris-snippets. Collection of Idris snippets

lean-eff. LeanEff is a small Lean 4 extensible-effects library

lean-reducers. Parallel, fused reducers for Lean 4

lean-linq. A type-safe, deeply-embedded SQL query DSL for Lean 4

TypedSqlBuilder. A type-safe SQL expression builder DSL for C#

multi-stage-fsharp. Multi-stage Programming in F#

LinqOptimizer. An automatic query optimizer-compiler for Sequential and Parallel LINQ.

Delimcc. A Monadic library for for multi-prompt delimited control in F#

SmtLibDsl. A type-safe SMT-LIB DSL for Lean 4 with Z3 integration.

lean-snippets. Collection of Lean 4 snippets

little-reasoner. A small hack that combines the power of ChatGPT and the Z3 theorem prover

typescript-snippets. Collection of typescript snippets

cubicaltt-snippets. Cubical Type Theory snippets

fsharp-exchange. Presentation and demo code for the F# eXchange 2015