Alternatives and similar repositories for specification

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

• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆78Updated 11 years ago
• ki-lang / ki
  High performance compiled language with simplicity and safety.
  ☆49Updated last year
• ziglang / docker-zig
  Dockerfile for zig programming language
  ☆52Updated 3 years ago
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆139Updated this week
• runtimejs-comm / runtime
  Lightweight JavaScript library operating system for the cloud
  ☆32Updated 6 years ago
• kubkon / zacho
  Like otool but written from scratch in Zig
  ☆46Updated 4 months ago
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆109Updated last week
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆54Updated 5 years ago
• ziglang / fetch-them-macos-headers
  A utility for fetching minimal macOS libc headers
  ☆51Updated 11 months ago
• bazurbat / jagen
  A software engineer's workspace manager and build systems wrapper
  ☆37Updated 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
• crack-lang / crack
  ☆93Updated last month
• bwasti / wasmblr
  C++ WebAssembly assembler in a single header file
  ☆170Updated 3 years ago
• Luukdegram / zwld
  Experimental wasm linker
  ☆43Updated 2 years ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆48Updated last year
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆69Updated 2 years ago
• kentonv / home-container
  Containerize your home directory
  ☆75Updated 5 years ago
• liampwll / zig-efi-os
  ☆18Updated 5 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆47Updated this week
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 11 months ago
• dantecatalfamo / zig-dns
  Experimental DNS library implemented in zig
  ☆65Updated last year
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆80Updated 3 months ago
• yasm / yasm-nextgen
  Yasm Assembler rewrite (experimental)
  ☆32Updated 12 years ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆29Updated 6 years ago
• nordlow / compiler-benchmark
  Benchmarks compilation speeds of different combinations of languages and compilers.
  ☆155Updated this week
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆35Updated 2 weeks ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆34Updated last year