hirrolot

hirrolot's Stars

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.6k105189409

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10.1k1851472.6k

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k355530986

• mortdeus/legacy-cc

  The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.

  Language:C3.8k1343346

• BinaryAnalysisPlatform/bap

  Binary Analysis Platform

  Language:OCaml2.1k93494274

• mirage-project/mirage

  Mirage: Automatically Generating Fast GPU Kernels without Programming in Triton/CUDA

  Language:C++694165940

• Eliah-Lakhin/lady-deirdre

  Compiler front-end foundation technology.

  Language:Rust446101613

• rhysd/8cc.vim

  C Compiler written in Vim script

  Language:VimL444807

• mazeppa-dev/mazeppa

  A modern supercompiler for call-by-value functional languages

  Language:OCaml3978258

• Jamesbarford/holyc-lang

  HolyC compiler & transpiler

  Language:C364111517

• rust-cli/rexpect

  .github/workflows/ci.yml

  Language:Rust333104858

• GaloisInc/reopt

  A tool for analyzing x86-64 binaries.

  Language:LLVM306284725

• lava-xyz/rust-ontologist

  Visualizing Rust codebases in a few seconds

  Language:Rust166436

• AndrasKovacs/staged

  Staged compilation with dependent types

  Language:TeX1641333

• mikeshulman/narya

  A proof assistant for higher-dimensional type theory

  Language:OCaml15619510

• bmstu-iu9/refal-5-lambda

  Компилятор Рефала-5λ

  Language:C++821328635

• VictorTaelin/interaction-calculus-of-constructions

  A minimal proof checker.

  Language:TypeScript68613

• asperti/BOHM1.1

  Bologna Optimal Higher-Order Machine, Version 1.1

  Language:C67518

• WhatisRT/meta-cedille

  Minimalistic dependent type theory with syntactic metaprogramming

  Language:Agda567100

• wouter-swierstra/Brainfuck

  A Brainfuck interpreter written in Agda

  Language:Agda50224

• janestreet/ppx_variants_conv

  Generation of accessor and iteration functions for ocaml variant types

  Language:OCaml469118

• poitin/Distiller

  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

  Language:Haskell278166

• yzyzsun/CP-next

  The Next Generation of Compositional Programming

  Language:Coq23715

• toptobes/typefuck-haskell

  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)

  Language:Haskell17210

• janestreet/int_repr

  Integers of various widths

  Language:OCaml71002

• Mazdaywik/mrefal

  Компилятор Модульного Рефала

  Language:C++62130

• feedab1e/gcc-exceptions

  Language:C++5100

• Mazdaywik/Refal-05

  Компилятор Рефала-5 в Си

  Language:C53383

• poitin/Higher-Level-Transformer

  Higher-Level Transformer as described in the paper "The Next 700 Program Transformers"

  Language:Haskell4201

• clayrat/guarded-absint

  Guarded abstract interpretation

  Language:Agda210