Giters
Călin Nicolau (calin1304)

calin1304

Geek Repo

9

followers

21

following

90

stars

Location:Romania

Home Page:https://calin1304.github.io

Github PK Tool:Github PK Tool

Organizations
runtimeverification

Călin Nicolau's starred repositories

HasChor

Functional choreographic programming in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:65Issues:0Issues:0

wham

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

Language:C#License:MITStargazers:21Issues:0Issues:0

phalanx

Project Phalanx is a roster editor handling BattleScribe datafiles

Language:C#License:MITStargazers:153Issues:0Issues:0

nixfmt

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

Language:NixLicense:MPL-2.0Stargazers:674Issues:0Issues:0

mx-exchange-sc

Smart contracts for a decentralized exchange written in Rust

Language:RustLicense:GPL-3.0Stargazers:93Issues:0Issues:0

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:GoLicense:GPL-3.0Stargazers:83Issues:0Issues:0

spartan-type-theory

Spartan type theory

Language:OCamlLicense:MITStargazers:248Issues:0Issues:0

lean3

Lean Theorem Prover

Language:C++License:Apache-2.0Stargazers:2144Issues:0Issues:0

wh40k-killteam

Warhammer 40,000: Kill Team

Stargazers:104Issues:0Issues:0

wh40k-9e

Warhammer 40,000: 9th Edition

Stargazers:639Issues:0Issues:0

HSlice

HSlice - A Haskell based slicer for 3D printing.

Language:HaskellLicense:AGPL-3.0Stargazers:72Issues:0Issues:0

in-other-words

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

Language:HaskellLicense:BSD-3-ClauseStargazers:89Issues:0Issues:0

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:2406Issues:0Issues:0

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:536Issues:0Issues:0

fp-course

Functional Programming Course

Language:HaskellStargazers:4070Issues:0Issues:0

nixpkgs

Nix Packages collection & NixOS

Language:NixLicense:MITStargazers:16365Issues:0Issues:0

moon

🌙 The minimal & fast library for functional user interfaces

Language:JavaScriptLicense:MITStargazers:5996Issues:0Issues:0

linear-base

Standard library for linear types in Haskell.

Language:HaskellLicense:MITStargazers:332Issues:0Issues:0

hlint

Haskell source code suggestions

Language:HaskellLicense:NOASSERTIONStargazers:1445Issues:0Issues:0

awesome-shell

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

License:CC0-1.0Stargazers:31737Issues:0Issues:0

massiv

Efficient Haskell Arrays featuring Parallel computation

Language:HaskellLicense:BSD-3-ClauseStargazers:383Issues:0Issues:0

applied-fp-course

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

Language:HaskellLicense:NOASSERTIONStargazers:621Issues:0Issues:0

megaparsec

Industrial-strength monadic parser combinator library

Language:HaskellLicense:NOASSERTIONStargazers:898Issues:0Issues:0

stan

🕵️ Haskell STatic ANalyser

Language:HaskellLicense:MPL-2.0Stargazers:562Issues:0Issues:0

asterius

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

Language:HaskellStargazers:1978Issues:0Issues:0

haskell

Exercism exercises in Haskell.

Language:HaskellLicense:MITStargazers:478Issues:0Issues:0

felicette

Satellite imagery for dummies.

Language:PythonLicense:MITStargazers:1817Issues:0Issues:0

haskell-exercises

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

Language:HaskellLicense:MITStargazers:636Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1338Issues:0Issues:0

comonads-by-example

Comonads By Example Conference talk

Language:HaskellLicense:NOASSERTIONStargazers:89Issues:0Issues:0