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
  ☆11Updated last week
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated last year
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆79Updated 12 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Updated 4 years ago
• kubkon / zacho
  Like otool but written from scratch in Zig
  ☆48Updated last month
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆120Updated last week
• bazurbat / jagen
  A software engineer's workspace manager and build systems wrapper
  ☆38Updated 4 years ago
• WebAssembly / constant-time
  Constant-time WebAssembly
  ☆20Updated 3 years ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆81Updated 2 years ago
• ziglang / sublime-zig-language
  Zig language support for Sublime Text
  ☆97Updated 3 months ago
• andrewrk / zig-async-demo
  Comparing concurrent code example programs between other languages and Zig
  ☆62Updated 10 months ago
• couchbaselabs / crouton
  C++20 coroutine runtime and cross-platform I/O library
  ☆35Updated last year
• beardsvibe / buildfox
  Minimalistic Ninja generator
  ☆52Updated 9 years ago
• ponylang / crypto
  Library of common cryptographic algorithms and functions for Pony
  ☆12Updated 6 months ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆48Updated last week
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆147Updated this week
• MaciejPatro / cmake-tidy
  Project provides a set of tools that will ease the development process for code written in CMake.
  ☆18Updated 3 years ago
• backtrace-labs / umash
  UMASH: a fast enough hash and fingerprint with collision bounds
  ☆159Updated last month
• dantecatalfamo / zig-dns
  Experimental DNS library implemented in zig
  ☆66Updated last year
• jedisct1 / cpace
  A CPace PAKE implementation using libsodium.
  ☆40Updated 5 years ago
• crack-lang / crack
  ☆93Updated 2 months ago
• ziglang / docker-zig
  Dockerfile for zig programming language
  ☆52Updated 3 years ago
• ki-lang / ki
  High performance compiled language with simplicity and safety.
  ☆50Updated last year
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆30Updated 6 years ago
• hylo-lang / hylo-lang.github.io
  Landing page for Hylo
  ☆109Updated 2 weeks ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• mlochbaum / rhsort
  Robin Hood Sort, for uniform data
  ☆75Updated 2 years ago