Code for http://oilshell.org/blog/
☆50Aug 15, 2025Updated 7 months ago
Alternatives and similar repositories for blog-code
Users that are interested in blog-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prototype changelog stanza for @Homebrew Casks and formulae.☆13Nov 2, 2022Updated 3 years ago
- Lightweight JavaScript library operating system for the cloud☆34Dec 1, 2019Updated 6 years ago
- Print window informations☆16Apr 12, 2016Updated 9 years ago
- The Shell Hater's Handbook☆23Apr 6, 2015Updated 10 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Feb 19, 2026Updated last month
- Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!☆3,306Mar 14, 2026Updated 2 weeks ago
- Moved to codeberg.org/derat/font-config-info☆22Apr 17, 2023Updated 2 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆15Mar 17, 2018Updated 8 years ago
- Implementation of freedesktop.org specifications.☆16Sep 5, 2016Updated 9 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 8 years ago
- Software transactional memory system developed at Wyatt Technology☆13Dec 18, 2015Updated 10 years ago
- Hook functions for GNU bash☆10Apr 22, 2020Updated 5 years ago
- Pseudo-command-line (experimental)☆16Oct 28, 2016Updated 9 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.
- Boost.org exception module☆17Mar 11, 2026Updated 2 weeks ago
- ☆13Oct 12, 2020Updated 5 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Jun 3, 2019Updated 6 years ago
- A Fork from https://github.com/purpleprotocol/mimalloc_rust and keep updated with mimalloc☆15Mar 19, 2026Updated last week
- Mouse driver hook that allows you to scroll windows with the middle mouse button + mouse move.☆25Jun 13, 2025Updated 9 months ago
- mdbook typst preprocessor☆16Mar 22, 2026Updated last week
- WebRTC demo☆34Jan 31, 2013Updated 13 years ago
- CUIでEmacs anythingを使うコマンド☆34Jan 29, 2013Updated 13 years ago
- ☆21Apr 26, 2019Updated 6 years 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.
- Repository containing all UEFI development I am doing☆13Aug 6, 2016Updated 9 years ago
- an example airship app☆14Jul 14, 2016Updated 9 years ago
- Hask Anything! is a website aimed at collecting and organizing the collective knowledge of the Haskell community.☆16Apr 3, 2019Updated 6 years ago
- IDA loader for Apple SecureROM☆13Sep 29, 2019Updated 6 years ago
- Easy maintenence of collections of processed data in MongoDB with the Mongoid ODM☆25Apr 13, 2016Updated 9 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Registry tracker☆17Apr 3, 2013Updated 12 years ago
- ☆13Sep 2, 2024Updated last year
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years 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.
- Layout solver☆12May 31, 2017Updated 8 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- General Data Protection Regulation as Tidy Object(s)☆10May 26, 2018Updated 7 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 11 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Jul 8, 2019Updated 6 years ago