hirrolot

hirrolot's Stars

• giscus/giscus

  A comment system powered by GitHub Discussions. :octocat: :speech_balloon: :gem:

  Language:TypeScript8.9k23343353

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.6k2077.5k1.1k

• janestreet/magic-trace

  magic-trace collects and displays high-resolution traces of what a process is doing

  Language:OCaml4.8k3810295

• plasma-umass/coz

  Coz: Causal Profiling

  Language:C4.1k71143160

• comby-tools/comby

  A code rewrite tool for structural search and replace that supports ~every language.

  Language:OCaml2.4k2516964

• MinaProtocol/mina

  Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

  Language:OCaml2k956.4k545

• pygments/pygments

  Pygments is a generic syntax highlighter written in Python

  Language:Python1.9k381.8k681

• mirage/irmin

  Irmin is a distributed database that follows the same design principles as Git

  Language:OCaml1.9k62608157

• ocaml/dune

  A composable build system for OCaml.

  Language:OCaml1.7k403.1k412

• janestreet/core

  Jane Street Capital's standard library overlay

  Language:OCaml1.1k45122113

• rgrinberg/opium

  Sinatra like web toolkit for OCaml

  Language:OCaml7662710867

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust6751119322

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell621403236

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean52933428

• c-cube/ocaml-containers

  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

  Language:OCaml4961821988

• ocaml-ppx/ppx_deriving

  Type-driven code generation for OCaml

  Language:OCaml4751914490

• mirage/alcotest

  A lightweight and colourful test framework

  Language:OCaml4612413081

• ocsigen/eliom

  Multi-tier framework for programming web and mobile applications in OCaml.

  Language:OCaml3062534154

• aantron/bisect_ppx

  Code coverage for OCaml and ReScript

  Language:OCaml3021430760

• dbuenzli/cmdliner

  Declarative definition of command line interfaces for OCaml

  Language:OCaml2951315156

• xvw/preface

  Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

  Language:OCaml1488586

• ocaml-flambda/flambda-backend

  The Flambda backend project for OCaml

  Language:OCaml1182031776

• janestreet/ppx_let

  Monadic let-bindings

  Language:OCaml11791112

• japiirainen/fp

  A small, weird and unpractical programming language.

  Language:Haskell102201

• gildor478/ounit

  Language:OCaml8968118

• janestreet/ppx_fields_conv

  Generation of accessor and iteration functions for ocaml records

  Language:OCaml5810811

• andreypopp/type-systems

  Playing with type systems

  Language:OCaml48402

• hirrolot/untyped-nbe

  Untyped lambda calculus via Normalization by Evaluation (NbE) in Haskell

  Language:Haskell720

• nguermond/normalization-by-evaluation

  Various implementations of normalization by evaluation.

  Language:OCaml7101

• olliefr/ounit-simple-test

  A (borrowed) example of unit testing OCaml code with OUnit. A reminder for myself.

  Language:OCaml4002