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:
- Syntax highlighting in Visual Studio Code☆10Updated 3 weeks ago
- distributed revision control system -- historical snapshot☆77Updated 11 years ago
- A software engineer's workspace manager and build systems wrapper☆37Updated 3 years ago
- A term rewriting system for experimental programming language development.☆47Updated 3 weeks ago
- Sandboxing for GNU Make has never been easier☆246Updated 3 years ago
- The Colm Programming Language☆182Updated 3 months ago
- a 64-bit histogram / quantile sketch☆59Updated 10 months ago
- Library for wrapping libc functions that require ambient authority☆86Updated 6 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆33Updated 5 years ago
- Containerize your home directory☆74Updated 4 years ago
- A utility for fetching minimal macOS libc headers☆52Updated 10 months ago
- Minimalistic Ninja generator☆51Updated 9 years ago
- UMASH: a fast enough hash and fingerprint with collision bounds☆159Updated 2 weeks ago
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆106Updated last week
- Compiler for the Vale programming language - http://vale.dev/☆34Updated last year
- NodeC -- A lean NodeJS in C using algebraic effect handlers.☆37Updated 6 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- 8-bit Xor Filter in C99☆62Updated 5 years ago
- Nectar C++ lib/runtime☆25Updated 4 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- Simple, general, human-sympathetic binary data format☆107Updated last year
- Benchmarks compilation speeds of different combinations of languages and compilers.☆154Updated 2 months ago
- Constant-time WebAssembly☆20Updated 3 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 4 months ago
- Optimized version of the reference implementation of Ed25519☆37Updated 2 months ago
- A cache hard password hash/KDF☆48Updated last year
- Coroutine scheduler for C☆44Updated last year
- Compiling WebAssembly into x86_64 assembly☆35Updated 3 years ago
- C++ WebAssembly assembler in a single header file☆170Updated 3 years ago
- tux3 file system☆75Updated 10 years ago