Alternatives and similar repositories for libjs-website

Users that are interested in libjs-website are comparing it to the libraries listed below

• someodd / burrow
  Static gopherhole generator.
  ☆13Updated 9 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆58Updated 2 years ago
• twhitehead / c99-meta
  Abusing the C99 preprocessor for meta-programming
  ☆20Updated 8 years ago
• thamugadi / mltt-c
  Martin-Löf type theory + W-types implemented in C (WIP)
  ☆27Updated 6 months ago
• joshmoody24 / skoobert
  A lazy subset of JavaScript
  ☆31Updated last week
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆79Updated 12 years ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆77Updated 3 years ago
• oriansj / bootstrap-seeds
  The roots of trust for all architectures
  ☆105Updated last year
• annacrombie / meson-raytracer
  ☆57Updated 3 years ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆101Updated 2 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Updated 2 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated 2 months ago
• tholman / checkboxrace
  A checkbox based race
  ☆32Updated 2 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• Snektron / Makefuck
  Don't ask me how this works
  ☆14Updated 5 years ago
• tiagodusilva / coral
  Ms Thesis @ FEUP
  ☆38Updated last year
• Luukdegram / wasmparser
  Wasm binary parser for Zig
  ☆19Updated 2 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago
• ziglang / fetch-them-macos-headers
  A utility for fetching minimal macOS libc headers
  ☆53Updated last year
• xorvoid / meson-brainfuck
  A proof that Meson is actually Turing-Complete
  ☆24Updated 6 years ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆34Updated last month
• iczelia / tinyz80
  A minimal Z80 implementation.
  ☆22Updated 4 years ago
• xerz-one / os-concepts
  Concept proposals for a better operating system
  ☆11Updated 9 years ago
• tlively / BrainCoqulus
  A formally verified compiler of untyped lambda calculus to brainfuck
  ☆16Updated 8 years ago
• snekpit / main
  Serpent OS Main Recipes Repository
  ☆13Updated 2 years ago
• someodd / waffle
  Haskell Gopher Protocol TUI Client 🧇
  ☆22Updated last year
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• SrGaabriel / soma
  ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.
  ☆61Updated last week