berlin windowing system -- historical snapshot
☆14Dec 31, 2023Updated 2 years ago
Alternatives and similar repositories for berlin
Users that are interested in berlin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small Finder clone for System 6. Just as a fun retro programming project.☆11Jul 19, 2022Updated 3 years ago
- test framework☆11Jun 2, 2021Updated 4 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 6 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- OpenGL 4.3 / DirectX 11 3D Graphics Engine☆10May 25, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- CCS in C++☆26Jun 27, 2023Updated 2 years ago
- RPC/XDR protocol compiler (from jungerl)☆14Oct 4, 2019Updated 6 years ago
- GCC plugin for C language that tracks references to allocated objects☆31May 12, 2025Updated 10 months ago
- Haskell's language-c ported to Rust.☆34Apr 4, 2018Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- The offensive URL lengthener☆11Apr 20, 2020Updated 5 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Apr 29, 2024Updated last year
- Famous puzzle game remade with C++ and SFML☆22Sep 1, 2022Updated 3 years ago
- A cache hard password hash/KDF☆49Mar 12, 2024Updated 2 years ago
- Using Rust to make a 137-byte static AMD64 Linux executable☆16Mar 22, 2025Updated last year
- neovim plugin for OCaml development☆15Feb 15, 2026Updated last month
- Binary wrapper that disables vDSO for a wrapped application.☆16Feb 17, 2026Updated last month
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 5 years ago
- C++20 Value-oriented Metaprogramming Library☆25Nov 26, 2025Updated 4 months ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 2 years ago
- Modify the source of an imported module☆28Jan 23, 2021Updated 5 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- causal-length sets in Rust☆16Mar 25, 2026Updated 2 weeks ago
- ☆47Sep 25, 2020Updated 5 years ago
- Terminal Crypto and US Stock Viewer☆10Apr 8, 2021Updated 5 years ago
- Xv6 ports for RISC-V☆15Nov 25, 2024Updated last year
- Some useful libraries converted to WatcomC++.☆19Updated this week
- ☆55Jan 7, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆14Apr 7, 2016Updated 10 years ago
- a BOCU-1 encoder/decoder library in rust☆18Dec 28, 2022Updated 3 years ago
- digital logic sim☆18Aug 1, 2022Updated 3 years ago
- café, a systems language☆19Feb 25, 2018Updated 8 years ago
- A Golang implementation of the VarOpt weighted sampling algorithm☆12Oct 18, 2024Updated last year
- ☆19Nov 27, 2023Updated 2 years ago
- Periodic data dumps from The Blue Alliance☆27Apr 30, 2019Updated 6 years ago