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 last month
• calebsander / wasm-to-asm
  Compiling WebAssembly into x86_64 assembly
  ☆32Updated 3 years ago
• 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
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• ziglang / fetch-them-macos-headers
  A utility for fetching minimal macOS libc headers
  ☆53Updated 8 months ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 8 months ago
• Ivo-Balbaert / Vale_Examples
  Working examples in the Vale programming language
  ☆14Updated 3 years ago
• kubkon / zacho
  Like otool but written from scratch in Zig
  ☆45Updated 3 weeks ago
• crack-lang / crack
  ☆91Updated last week
• bazurbat / jagen
  A software engineer's workspace manager and build systems wrapper
  ☆36Updated 3 years ago
• smarr / effortless-language-servers
  Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
  ☆20Updated last year
• Luukdegram / zwld
  Experimental wasm linker
  ☆43Updated 2 years ago
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆128Updated this week
• alta-lang / alta
  A simple , safe , and powerful programming language
  ☆18Updated last year
• gsquire / zig-play
  An online Zig compiler inspired by Go and Rust
  ☆84Updated 2 weeks ago
• tliron / ronin
  A straightforward but powerful build system based on Ninja and Python
  ☆61Updated 6 years ago
• rentzsch / lich
  Simple, general, human-sympathetic binary data format
  ☆107Updated last year
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆178Updated 2 weeks ago
• travisstaloch / art.zig
  An Adaptive Radix Tree ported from c
  ☆51Updated last year
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• ziglang / gotta-go-fast
  Performance Tracking for Zig
  ☆249Updated last year
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆35Updated 3 years ago
• desmosinc / pratt-parser-blog-code
  The code to illustrate the pratt parser blog post for the desmos engineering blog.
  ☆35Updated 3 years ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆32Updated last year
• area9innovation / wase
  WebAssembly made easy
  ☆46Updated 2 years ago
• jart / zsh
  Zsh patched to support Actually Portable Executables git://git.code.sf.net/p/zsh/code (upstream pending)
  ☆16Updated 4 years ago
• antimony-lang / antimony
  The Antimony programming language
  ☆157Updated 2 months ago
• kentonv / home-container
  Containerize your home directory
  ☆68Updated 4 years ago