Pinned Repositories
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
neocastro's Repositories
neocastro/anubisat
neocastro/conduit-api
API for Real World App project (Conduit) using Node.js + TS with Functional Programming
neocastro/core
neocastro/data
neocastro/DescomplicandoKubernetes
neocastro/effect-crashcourse
The practical guide I wish existed while learning @effect-ts
neocastro/Formality
An efficient proof language
neocastro/Formality-Core
Specification of the Formality proof and programming language
neocastro/Formality-image
Reads a directory or file and creates a Formality file for each image
neocastro/fp-course
Exercises from https://github.com/data61/fp-course
neocastro/golem
pure functional and generic programming for Go
neocastro/haskell-challenges
Code challenges to solve with Haskell
neocastro/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
neocastro/HaskellSchool
neocastro/Idris-dev
A Dependently Typed Functional Programming Language
neocastro/io-ts
Runtime type system for IO decoding/encoding
neocastro/Moonad
neocastro/Moonad-old
An upcoming operating system built on Type-Theory
neocastro/pgx
Build Postgres Extensions with Rust!
neocastro/playground
neocastro/practical-fp-in-ts-oct-21
neocastro/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 ;)
neocastro/sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
neocastro/sistemas-distribuidos
ESBD4
neocastro/TaelinArena
A moddable MOBA in Formality
neocastro/TaelinArena-fmc
neocastro/xtdb-in-a-box
The simplest production-ready XTDB setup.