calin1304

followers

following

stars

Romania

https://calin1304.github.io

Organizations

runtimeverification

Călin Nicolau's starred repositories

awesome-shell

A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.

CC0-1.032119 771 56

nixpkgs

Nix Packages collection & NixOS

Language:NixMIT16780 280 39614

moon

🌙 The minimal & fast library for functional user interfaces

Language:JavaScriptMIT5992 148 226

fp-course

Functional Programming Course

Language:Haskell4095 130 196

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION2427 64 5455

lean3

Lean Theorem Prover

Language:C++Apache-2.02145 117 1124

asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Language:Haskell1978 72 293

felicette

Satellite imagery for dummies.

Language:PythonMIT1818 40 25

hlint

Haskell source code suggestions

Language:HaskellNOASSERTION1452 33 951

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaCC-BY-4.01344 23 254

megaparsec

Industrial-strength monadic parser combinator library

Language:HaskellNOASSERTION904 14 346

nixfmt

The official (but not yet stable) formatter for Nix code

Language:NixMPL-2.0737 32 123

wh40k-9e

Warhammer 40,000: 9th Edition

haskell-exercises

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

Language:HaskellMIT636 18 3

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

Language:HaskellNOASSERTION620 38 46

stan

🕵️ Haskell STatic ANalyser

Language:HaskellMPL-2.0564 16 253

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixApache-2.0545 20 889

haskell

Exercism exercises in Haskell.

Language:HaskellMIT485 20 304

massiv

Efficient Haskell Arrays featuring Parallel computation

Language:HaskellBSD-3-Clause383 17 83

linear-base

Standard library for linear types in Haskell.

Language:HaskellMIT331 33 165

spartan-type-theory

Spartan type theory

Language:OCamlMIT248 6 2

phalanx

Project Phalanx is a roster editor handling BattleScribe datafiles

Language:C#MIT153 25 24

wh40k-killteam

Warhammer 40,000: Kill Team

mx-exchange-sc

Smart contracts for a decentralized exchange written in Rust

Language:RustGPL-3.094 14 63

comonads-by-example

Comonads By Example Conference talk

Language:HaskellNOASSERTION89 40

in-other-words

A higher-order effect system where the sky's the limit

Language:HaskellBSD-3-Clause89 7 13

mx-chain-vm-go

The Virtual Machine for executing WASM Smart Contracts on the MultiversX blockchain. Based on Wasmer, but in principle also supports any other executing engine.

Language:GoGPL-3.084 20 10

HSlice

HSlice - A Haskell based slicer for 3D printing.

Language:HaskellAGPL-3.074 4 30

HasChor

Functional choreographic programming in Haskell

Language:HaskellBSD-3-Clause67 4 4

wham

WarHub.ArmouryModel - C# cornerstone library for wargame datafile tools

Language:C#MIT21 7 91