Hirrolot

Tima Kinsart's starred repositories

semgrep

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

Language:OCamlLGPL-2.19959 102 2890

imaging

Imaging is a simple image processing package for Go

Language:GoMIT5126 80 131

crab

A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!

Language:RustNOASSERTION5113 33 39

gg

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

Language:GoMIT4306 94 150

bdwgc

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

Language:CNOASSERTION2830 100 483

awesome-ocaml

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

2725 124 46

type-systems

Implementations of various type systems in OCaml.

Language:OCamlUnlicense1517 57 11

minilisp

A readable lisp in less than 1k lines of C

Language:C1422 31 5

snowden-archive

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

993 65 3

compilers-targeting-c

A list of compilers that can generate C code

Language:JavaScript673 42 55

gpt-macro

ChatGPT powered Rust proc macro that generates code at compile-time.

Language:RustMIT527 2 1

idris-jvm

JVM bytecode back end for Idris

Language:IdrisBSD-3-Clause464 29 56

ocaml-h2

An HTTP/2 implementation written in pure OCaml

Language:OCamlBSD-3-Clause304 11 28

lone

The standalone Linux Lisp

Language:CAGPL-3.0301 9 4

deflect

Reflection via DWARF.

Language:RustApache-2.0295 12 4

spartan-type-theory

Spartan type theory

Language:OCamlMIT248 6 2

Bunki

A simple C coroutine library.

Language:CMIT223 4 1

lambdapi

Dependently Typed Lambda Calculus in Haskell

Language:HaskellNOASSERTION111 30

ocaml-stdint

Various signed and unsigned integers for OCaml

Language:OCamlNOASSERTION81 5 38

sc-mini

SC Mini is a "minimal" positive supercompiler

Language:Haskell47 4 12

pprint

A pretty-printing combinator library for OCaml

Language:OCamlNOASSERTION45 2 5

lambda-calculus-hs

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

Language:HaskellApache-2.04200

higher_kinded

A library with an encoding of higher kinded types in OCaml

Language:OCamlMIT36 9 2

clap

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

Language:OCamlMIT26 2 3

async_fn_traits

Trait synonyms for “Fn[…]”-trait bounds returning futures

Language:RustApache-2.019 20

ttstar

Dependently typed core calculus with erasure

Language:IdrisBSD-3-Clause18 4 1

PPLISP

c-prepocessor lisp

Language:CMIT17 1 2

systemfw

Implementation of system F-omega

Language:C300

menby

modular nbe!

Language:OCaml3 10

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

Apache-2.01 1 2