noway / yagrad

Related projects ⓘ

Alternatives and complementary repositories for yagrad

• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆23Updated 5 months ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated 2 weeks ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 7 months ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 8 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆56Updated last year
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 6 months ago
• kevinlawler / kerf
  Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…
  ☆25Updated 2 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆64Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• maxilevi / raytracer
  C++ raytracer that supports custom models. Supports running the calculations on the CPU using C++11 threads or in the GPU via CUDA.
  ☆74Updated last year
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 2 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• evanj / nanocollision
  NanoCollision: Experiments with collisions of nanosecond timestamps
  ☆22Updated last year
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆25Updated 6 months ago
• billziss-gh / imap
  Integer Map Data Structure
  ☆127Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• tonio-m / python_neural_network
  🪝"mnist" in 60 lines of code, no dependencies. For educational purposes.
  ☆32Updated 4 months ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• barafael / cute-copter
  ☆18Updated 2 years ago
• williamkuszmaul / tinyhash
  An extremely tiny hash table for 32-bit keys.
  ☆27Updated 2 years ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆18Updated 10 years ago
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆18Updated this week
• tekknolagi / db.py
  ☆22Updated 2 months ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆39Updated 8 months ago
• IBMStreams / OSStreams
  Open-source, Cloud-native Streams
  ☆12Updated 3 years ago