hylo-lang / specificationLinks
☆21Updated last year
Alternatives and similar repositories for specification
Users that are interested in specification are comparing it to the libraries listed below
Sorting:
- A utility for fetching minimal macOS libc headers☆53Updated 8 months ago
- Dockerfile for zig programming language☆52Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- Syntax highlighting in Visual Studio Code☆10Updated 2 months ago
- Optimized version of the reference implementation of Ed25519☆36Updated 3 weeks ago
- Compiler for the Vale programming language - http://vale.dev/☆33Updated last year
- A software engineer's workspace manager and build systems wrapper☆36Updated 3 years ago
- kde xml file for zig syntax highlighting☆20Updated 2 years ago
- Library for wrapping libc functions that require ambient authority☆86Updated 6 years ago
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆99Updated 2 weeks ago
- distributed revision control system -- historical snapshot☆78Updated 11 years ago
- Performance Tracking for Zig☆251Updated 2 years ago
- build2 package dependency manager☆19Updated this week
- Zig language support for Sublime Text☆96Updated 11 months ago
- Landing page for Hylo☆107Updated 9 months ago
- Like otool but written from scratch in Zig☆45Updated last month
- Methods and Benchmarks for Random Numbers in a Range☆37Updated 7 years ago
- Containerize your home directory☆69Updated 4 years ago
- wasix libc implementation for WebAssembly☆129Updated 3 weeks ago
- A new city of code on a cosmopolitan foundation.☆22Updated 4 years ago
- A term rewriting system for experimental programming language development.☆44Updated this week
- A set of C headers (.h files) that are compatible with widely used libcs for various targets.☆58Updated last year
- A cache hard password hash/KDF☆48Updated last year
- Sandboxing for GNU Make has never been easier☆246Updated 2 years ago
- bfg9000 - build file generator☆79Updated last week
- A POSIX system using WebAssembly's software fault isolation☆70Updated 6 years ago
- Experimental wasm linker☆43Updated 2 years ago
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago
- ☆93Updated 2 weeks ago
- Constant-time WebAssembly☆20Updated 3 years ago