neocastro

anubisat

conduit-api

API for Real World App project (Conduit) using Node.js + TS with Functional Programming

core

data

DescomplicandoKubernetes

effect-crashcourse

The practical guide I wish existed while learning @effect-ts

Formality

An efficient proof language

Formality-Core

Specification of the Formality proof and programming language

Formality-image

Reads a directory or file and creates a Formality file for each image

fp-course

Exercises from https://github.com/data61/fp-course

golem

pure functional and generic programming for Go

haskell-challenges

Code challenges to solve with Haskell

haskell-exercises

A little course to learn about some of the more obscure GHC extensions.

HaskellSchool

Idris-dev

A Dependently Typed Functional Programming Language

io-ts

Runtime type system for IO decoding/encoding

Moonad

Moonad-old

An upcoming operating system built on Type-Theory

pgx

Build Postgres Extensions with Rust!

playground

practical-fp-in-ts-oct-21

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

sidekick

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

sistemas-distribuidos

ESBD4

TaelinArena

A moddable MOBA in Formality

TaelinArena-fmc

xtdb-in-a-box

The simplest production-ready XTDB setup.