hirrolot

hirrolot's Stars

• eteran/c-vector

  A dynamic array implementation in C similar to the one found in standard C++

  Language:C++752113

• vzhn/sat-inv-matrix

  Implementing integer matrix inversion with SAT solver

  Language:Kotlin5

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java70333

• cospplredman/PPLISP

  c-prepocessor lisp

  Language:C21

• lone-lang/lone

  The standalone Linux Lisp

  Language:C3118

• ziman/ttstar

  Dependently typed core calculus with erasure

  Language:Idris18

• janestreet/higher_kinded

  A library with an encoding of higher kinded types in OCaml

  Language:OCaml392

• semgrep/semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  Language:OCaml10.9k642

• ocaml-community/awesome-ocaml

  A curated collection of awesome OCaml tools, frameworks, libraries and articles.

  2.8k168

• rbardou/clap

  Command-Line Argument Parsing, imperative style with a consumption mechanism.

  Language:OCaml24

• fpottier/pprint

  A pretty-printing combinator library for OCaml

  Language:OCaml4911

• iamcryptoki/snowden-archive

  💥 A collection of all documents leaked by former NSA contractor and whistleblower Edward Snowden.

  1.1k161

• mmcqd/menby

  modular nbe!

  Language:OCaml3

• andreisilviudragnea/serde-blocked

  I have created this repository to check who has been muted for expressing support on https://github.com/serde-rs/serde/pull/2580

  1

• solomon-b/lambda-calculus-hs

  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

  Language:Haskell443

• ivmai/bdwgc

  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

  Language:C3k408

• dbohdan/compilers-targeting-c

  A list of compilers that can generate C code

  Language:JavaScript71549

• ilya-klyuchnikov/lambdapi

  Dependently Typed Lambda Calculus in Haskell

  Language:Haskell11221

• ilya-klyuchnikov/sc-mini

  SC Mini is a "minimal" positive supercompiler

  Language:Haskell4613

• disintegration/imaging

  Imaging is a simple image processing package for Go

  Language:Go5.3k448

• fogleman/gg

  Go Graphics - 2D rendering in Go with a simple API.

  Language:Go4.5k363

• anmonteiro/ocaml-h2

  An HTTP/2 implementation written in pure OCaml

  Language:OCaml31232

• rui314/minilisp

  A readable lisp in less than 1k lines of C

  Language:C1.5k174

• Keith-Cancel/Bunki

  A simple C coroutine library.

  Language:C2256

• andrejbauer/spartan-type-theory

  Spartan type theory

  Language:OCaml25919

• mmhelloworld/idris-jvm

  JVM bytecode back end for Idris

  Language:Idris47126

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.6k72

• andrenth/ocaml-stdint

  Various signed and unsigned integers for OCaml

  Language:OCaml8516

• AndrasKovacs/normalization-bench

  Lambda normalization and conversion checking benchmarks for various implementations

  Language:Haskell546

• sim642/odep

  Dependency graphs for OCaml modules, libraries and packages

  Language:OCaml37