andrew-johnson-4

andrew-johnson-4's Stars

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda24.6k2471412.8k

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10.1k1841472.6k

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k60329166

• uiua-lang/uiua

  A stack-based array programming language

  Language:Rust1.6k22232117

• akkartik/mu

  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

  Language:Assembly1.4k412346

• facebookexperimental/hermit

  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

  Language:Rust1.2k142932

• rust-lang/rustc_codegen_gcc

  libgccjit AOT codegen for rustc

  Language:Rust9283222861

• egison/egison

  The Egison Programming Language

  Language:Haskell9124515532

• skeeto/hash-prospector

  Automated integer hash function discovery

  Language:C688272327

• tekknolagi/scrapscript

  A functional, content-addressable programming language.

  Language:Python38465610

• HKalbasi/zngur

  A C++/Rust interop tool

  Language:Rust247644

• cryptocode/bio

  A Lisp dialect written in Zig

  Language:Zig1816131

• adamnemecek/adjoint

  Thoughts on adjoint, norm and such.

  1651935

• codr7/sharpl

  a custom Lisp

  Language:C#844

• alt-romes/hegg

  Fast equality saturation in Haskell

  Language:Haskell773228

• callisto-lang/compiler

  The Callisto compiler of the 13th month, and other language extras

  Language:D52024

• false-schemers/sharpF

  #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5RS/R7RS Scheme programs is provided in a form of libraries written in #F itself.

  Language:C49405

• cedric-h/c-website

  using the C Preprocessor as an HTML templating engine

  Language:Python39113

• alt-romes/reference-counting

  Reference counting with linear types

  Language:Haskell30201

• Koukyosyumei/MyDisassembler

  Disassembler for X86-64 implemented from scratch in C++

  Language:C++25100

• maximedenes/coq-amd64

  Language:Coq22604

• coq-community/mmaps

  Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]

  Language:Coq11453

• Fizzixnerd/ocaml-living

  A safer FFI interface for OCaml

  Language:OCaml110

• acorrenson/Maybe

  A tiny probabilist functional language

  Language:OCaml8100

• andrew-johnson-4/BootstrapBook

  Learn how to Write a Compiler in 2000 Lines of Code

  8100

• lambdaxymox/cglinalg

  A low-dimensional linear algebra library for real-time computer graphics.

  Language:Rust8201

• codefionn/feder

  Feder - A programming language

  Language:Java6200

• CoqHott/model-structures-Coq

  Formalization of a model structure on the universe of Types in Coq

  Language:Coq2601

• andrew-johnson-4/AI4P

  An inference that always brings peace

  110

• andrew-johnson-4/html.lm

  LM Based HTML / CSS / JS generator

  1100