Alternatives and similar repositories for specification

Users that are interested in specification are comparing it to the libraries listed below

• hylo-lang / vscode-hylo
  Syntax highlighting in Visual Studio Code
  ☆10Updated 3 weeks ago
• ki-lang / ki
  High performance compiled language with simplicity and safety.
  ☆49Updated last year
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆32Updated 2 years ago
• ziglang / docker-zig
  Dockerfile for zig programming language
  ☆52Updated 3 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆80Updated 11 years ago
• ziglang / libc-abi-tools
  A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.
  ☆187Updated 2 months ago
• crack-lang / crack
  ☆93Updated last month
• bazurbat / jagen
  A software engineer's workspace manager and build systems wrapper
  ☆37Updated 3 years ago
• jart / landlock-make
  Sandboxing for GNU Make has never been easier
  ☆251Updated 3 years ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆34Updated last year
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆48Updated last year
• gsquire / zig-play
  An online Zig compiler inspired by Go and Rust
  ☆83Updated this week
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated last year
• mindcrime-forks / redis
  Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…
  ☆17Updated last year
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆111Updated this week
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆69Updated 2 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆54Updated 5 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• jedisct1 / cpace
  A CPace PAKE implementation using libsodium.
  ☆39Updated 5 years ago
• dibsonthis / Glide--old
  Glide programming language
  ☆39Updated 3 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆16Updated 9 years ago
• judofyr / glush
  A parser toolkit
  ☆97Updated 4 years ago
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆144Updated this week
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆48Updated last month
• nordlow / compiler-benchmark
  Benchmarks compilation speeds of different combinations of languages and compilers.
  ☆156Updated last week
• smarr / effortless-language-servers
  Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
  ☆20Updated 2 years ago
• vlang / vlibc
  libc written in V
  ☆21Updated 4 years ago
• area9innovation / wase
  WebAssembly made easy
  ☆46Updated 2 years ago