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
• ziglang / docker-zig
  Dockerfile for zig programming language
  ☆52Updated 3 years ago
• aquefir / neopolitan
  A new city of code on a cosmopolitan foundation.
  ☆21Updated 4 years ago
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆146Updated this week
• Ivo-Balbaert / Vale_Examples
  Working examples in the Vale programming language
  ☆14Updated 3 years ago
• wasmerio / io-devices-lib
  Library for interacting with the Wasmer Experimental IO Devices
  ☆54Updated 2 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated last year
• ki-lang / ki
  High performance compiled language with simplicity and safety.
  ☆50Updated last year
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• ziglang / kde-syntax-highlighting
  kde xml file for zig syntax highlighting
  ☆19Updated 3 years ago
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆79Updated 12 years ago
• crack-lang / crack
  ☆93Updated 2 months ago
• OGAWAHirofumi / tux3
  tux3 file system
  ☆75Updated 11 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆16Updated 10 years ago
• WebAssembly / constant-time
  Constant-time WebAssembly
  ☆20Updated 3 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.
  ☆186Updated 3 months ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆32Updated 2 years ago
• kentonv / home-container
  Containerize your home directory
  ☆78Updated 5 years ago
• vlang / vlibc
  libc written in V
  ☆21Updated 4 years ago
• hylo-lang / hylo-lang.github.io
  Landing page for Hylo
  ☆109Updated 2 weeks ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆69Updated 2 years ago
• mitchellh / zig-libxml2
  libxml2 built using Zig build system
  ☆86Updated 2 years ago
• vlang / v-llvm
  Experimental LLVM backend for V developed by the community
  ☆41Updated 5 years ago
• kubkon / zacho
  Like otool but written from scratch in Zig
  ☆48Updated 3 weeks ago
• alta-lang / alta
  A simple , safe , and powerful programming language
  ☆18Updated last year
• bazurbat / jagen
  A software engineer's workspace manager and build systems wrapper
  ☆37Updated 4 years ago
• 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…
  ☆16Updated last year
• geode-lang / geode
  The Geode Programming Language
  ☆16Updated 6 years ago
• google / unsmear
  Converts to and from timescales with smeared leap seconds
  ☆96Updated last year
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆80Updated last month