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
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆78Updated 11 years ago
• ziglang / docker-zig
  Dockerfile for zig programming language
  ☆52Updated 2 years ago
• ki-lang / ki
  High performance compiled language with simplicity and safety.
  ☆49Updated last year
• ziglang / fetch-them-macos-headers
  A utility for fetching minimal macOS libc headers
  ☆53Updated 7 months ago
• ponylang / crypto
  Library of common cryptographic algorithms and functions for Pony
  ☆12Updated 3 weeks ago
• kubkon / zacho
  Like otool but written from scratch in Zig
  ☆45Updated this week
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆127Updated last week
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆32Updated last year
• ziglang / gotta-go-fast
  Performance Tracking for Zig
  ☆251Updated last year
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• travisstaloch / art.zig
  An Adaptive Radix Tree ported from c
  ☆51Updated last year
• hylo-lang / hylo-lang.github.io
  Landing page for Hylo
  ☆107Updated 8 months ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 7 months ago
• crack-lang / crack
  ☆91Updated 2 months ago
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆93Updated 3 weeks ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• gsquire / zig-play
  An online Zig compiler inspired by Go and Rust
  ☆83Updated 2 months ago
• runtimejs-comm / runtime
  Lightweight JavaScript library operating system for the cloud
  ☆31Updated 5 years ago
• alta-lang / alta
  A simple , safe , and powerful programming language
  ☆18Updated last year
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated last month
• musec / libpreopen
  Library for wrapping libc functions that require ambient authority
  ☆86Updated 6 years ago
• ordovician / Zacktron-33
  Assembler and disassembler for the imaginary Calcutron-33 CPU implemented in Zig
  ☆22Updated 2 years ago
• andrewrk / evo
  specification, reference implementation, and examples of Evo, the programming language made for being the DNA of genetic algorithms
  ☆18Updated 3 years ago
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 8 months ago
• vlang / v-llvm
  Experimental LLVM backend for V developed by the community
  ☆40Updated 5 years ago
• dantecatalfamo / zig-dns
  Experimental DNS library implemented in zig
  ☆65Updated last year
• kristoff-it / zig-doctest
  A tool for testing snippets of code, useful for websites and books that talk about Zig.
  ☆80Updated last year
• lun-4 / zigdig
  naive dns client library in zig
  ☆42Updated 3 months ago