Fully verifiable operating system and API written in D in the public domain.
☆43Jul 12, 2011Updated 15 years ago
Alternatives and similar repositories for djehuty
Users that are interested in djehuty 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 perl and ruby bot made for #xomb☆15Jun 13, 2020Updated 6 years ago
- This is a minimal x86 OS written in D with both 32 bit and 64 bit configurations. It's a good starting place for anyone doing D OS develo…☆39Feb 24, 2009Updated 17 years ago
- An exokernel operating system written in D☆350May 31, 2013Updated 13 years ago
- Z-Machine (and perhaps other text-based IF engines) implementation in Ruby☆11Mar 12, 2013Updated 13 years ago
- A Game for the OSGCC4☆22Jun 13, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Digital-Red is a collection of succinct, elegant OCaml implementations of the algorithms in the famous MIT red book of algorithms.☆10Feb 7, 2017Updated 9 years ago
- Generalized federated system backend for social networks with ActivityStreams/OStatus/pump.io.☆19Oct 19, 2014Updated 12 years ago
- D implementation of xxhash☆16Oct 1, 2025Updated last year
- First operating system written in D lang v2☆109Jun 16, 2025Updated last year
- A 3D engine written in the D programming language☆16Apr 15, 2018Updated 8 years ago
- Ruby implementation of the OStatus data specification.☆35Aug 5, 2014Updated 12 years ago
- D language multimedia library for games and gui applications☆21Dec 30, 2015Updated 10 years ago
- OStatus publisher implementation in ruby☆14Mar 14, 2011Updated 15 years ago
- Hobby Operating System in C++☆11Feb 5, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A functionnal programming language☆16Feb 15, 2016Updated 10 years ago
- What happens if you take dependency injection and bake it into a programming language?☆13Jul 7, 2016Updated 10 years ago
- OStatus subscriber implementation in ruby☆17Nov 7, 2014Updated 12 years ago
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Sep 4, 2024Updated 2 years ago
- This is a copy of the old pastebin 6.0 code☆15Jun 30, 2011Updated 15 years ago
- Cross compilation libraries for OCaml on ESP32 development☆11Mar 19, 2020Updated 6 years ago
- A bunch of C functions that are useful when writing simple code☆14Oct 5, 2024Updated 2 years ago
- D library for getting standard paths☆18Jan 28, 2025Updated last year
- Dynamic bindings to the CUDA library for the D Programming Language.☆18Feb 22, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A B-Tree implementation in OCaml☆24Oct 24, 2016Updated 10 years ago
- An Entity Component System for the D Programming Language. http://www.boost.org/LICENSE_1_0.txt☆15Feb 17, 2014Updated 12 years ago
- https://developer.apple.com/swift/ on Rubinius (at least the good parts, anyway).☆13Jun 2, 2014Updated 12 years ago
- A library and command-line tool to parse math expressions☆15Nov 30, 2024Updated last year
- Parse/convert ocaml value from/to yojson ast☆12Mar 24, 2015Updated 11 years ago
- Helper programs and interfaces for using D on Android systems☆42Jun 4, 2020Updated 6 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 3 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 7 years ago
- Experimental modules that are intended for the phobos standard library of D☆12May 11, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A console client for mpd written in OCaml☆12Jan 5, 2019Updated 7 years ago
- Index your filesystem to find duplicates☆13Mar 28, 2019Updated 7 years ago
- A small operating system for the ARM processor that mimics the architecture of Linux☆10Sep 21, 2010Updated 16 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Oct 28, 2026Updated last week
- Convert a cmi file back to an mli interface☆13Oct 4, 2012Updated 14 years ago
- A piece chain is a data structure that allows fast text insertion and deletion operations, unlimited undo/redo and grouping of operations…☆12Dec 1, 2020Updated 5 years ago
- An SDLang (Simple Declarative Language) library for D☆127Apr 30, 2023Updated 3 years ago