neocastro
Follow
-
pgx Public
Forked from pgcentralfoundation/pgrxBuild Postgres Extensions with Rust!
Rust MIT License UpdatedJan 4, 2023 -
effect-crashcourse Public
Forked from pigoz/effect-crashcourseThe practical guide I wish existed while learning @effect-ts
TypeScript UpdatedJan 3, 2023 -
io-ts Public
Forked from gcanti/io-tsRuntime type system for IO decoding/encoding
TypeScript MIT License UpdatedDec 20, 2022 -
-
-
xtdb-in-a-box Public
Forked from xtdb/xtdb-in-a-boxThe simplest production-ready XTDB setup.
Clojure MIT License UpdatedSep 27, 2022 -
sistemas-distribuidos Public
Forked from felipemocruha/sistemas-distribuidosESBD4
Python UpdatedJul 29, 2022 -
golem Public
Forked from fogfish/golempure functional and generic programming for Go
Go MIT License UpdatedJun 30, 2022 -
-
practical-fp-in-ts-oct-21 Public
Forked from Matechs-Digital/practical-fp-in-ts-oct-21TypeScript UpdatedJan 5, 2022 -
conduit-api Public
Forked from fdaciuk/conduit-apiAPI for Real World App project (Conduit) using Node.js + TS with Functional Programming
TypeScript MIT License UpdatedDec 1, 2021 -
sidekick Public
Forked from c-cube/sidekickA modular library for CDCL(T) SMT solvers, with [wip] proof generation.
SMT Apache License 2.0 UpdatedSep 20, 2021 -
HaskellSchool Public
Forked from haskellfoundation/HaskellSchoolSCSS Apache License 2.0 UpdatedSep 8, 2021 -
-
DescomplicandoKubernetes Public
Forked from badtuxx/DescomplicandoKubernetesShell GNU General Public License v3.0 UpdatedSep 7, 2021 -
haskell-challenges Public
Forked from effectfully-ou/haskell-challengesCode challenges to solve with Haskell
Haskell MIT License UpdatedJul 25, 2021 -
haskell-exercises Public
Forked from i-am-tom/haskell-exercisesA little course to learn about some of the more obscure GHC extensions.
Haskell MIT License UpdatedJan 4, 2021 -
Formality-image Public
Forked from Soonad/Formality-imageReads a directory or file and creates a Formality file for each image
JavaScript MIT License UpdatedOct 28, 2020 -
-
Formality Public
Forked from HigherOrderCO/KindAn efficient proof language
JavaScript MIT License UpdatedAug 28, 2020 -
Moonad-old Public
Forked from Soonad/MoonadAn upcoming operating system built on Type-Theory
UpdatedJul 30, 2020 -
TaelinArena Public
Forked from moonad/TaelinArenaA moddable MOBA in Formality
JavaScript MIT License UpdatedMay 25, 2020 -
-
Formality-Core Public
Forked from Soonad/Formality-CoreSpecification of the Formality proof and programming language
JavaScript MIT License UpdatedApr 28, 2020 -
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers Public
Forked from CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackersaka "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 ;)
Jupyter Notebook MIT License UpdatedMay 18, 2019 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedMar 16, 2019 -