Z4JC / ugrapheme

Related projects ⓘ

Alternatives and complementary repositories for ugrapheme

• 8l / pijul
  Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …
  ☆41Updated 9 years ago
• worm-blossom / macromania
  Macro-based string templating.
  ☆20Updated 2 months ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆30Updated this week
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆75Updated 2 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• fsaintjacques / recordlite
  ☆22Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 4 years ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆19Updated 2 months ago
• nyurik / sqlite-compressions
  Compression, decompression, and testing functions for SQLite: gzip, brotli, ...
  ☆20Updated this week
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆21Updated 4 months ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆29Updated 8 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆68Updated 2 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 2 years ago
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆29Updated 2 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 4 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆54Updated 2 years ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆85Updated last year
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆37Updated 3 months ago