Code for http://oilshell.org/blog/
☆50Aug 15, 2025Updated 10 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
- Print window informations☆15Apr 12, 2016Updated 10 years ago
- ☆27May 12, 2026Updated last month
- Delete half (minus ε) of your Haskell code!☆30Jun 27, 2026Updated last week
- Hackish way to run jupyter notebook server in android platform☆17Mar 18, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Shell Hater's Handbook☆23Apr 6, 2015Updated 11 years ago
- Genoogle is a software for fast similar DNA sequence searching. It is a full functional similar genetics searching tool, having a text mo…☆13Apr 27, 2016Updated 10 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Feb 19, 2026Updated 4 months ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago
- 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,355May 31, 2026Updated last month
- A tmux side-pane manager☆15Mar 2, 2017Updated 9 years ago
- Hook functions for GNU bash☆10Apr 22, 2020Updated 6 years ago
- 🦕 Cross-platform Deno rewrite of the GNU Coreutils☆33Sep 28, 2024Updated last year
- 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.
- The jqsh scripting language☆13Dec 22, 2015Updated 10 years ago
- Boost.org exception module☆17May 31, 2026Updated last month
- An interactive, TLS-capable HTTP intercepting proxy designed for penetration testers and software developers, including a parser for the …☆26Jul 31, 2025Updated 11 months ago
- A DSL for parsing and assembling binary data.☆14Jun 22, 2026Updated 2 weeks ago
- CUIでEmacs anythingを使うコマンド☆34Jan 29, 2013Updated 13 years ago
- Hask Anything! is a website aimed at collecting and organizing the collective knowledge of the Haskell community.☆15Apr 3, 2019Updated 7 years ago
- IDA loader for Apple SecureROM☆13Sep 29, 2019Updated 6 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- fft impl for ff::Field☆17May 9, 2024Updated 2 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- A programming language based on bindings.☆12Jul 6, 2025Updated last year
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 3 years ago
- feed aggregator (RSS/Atom) which puts items on a IMAP mail server☆54Jan 6, 2026Updated 6 months ago
- A profiling tool to peek and profile the memory or cpu usage of a process☆12Jan 20, 2024Updated 2 years ago
- ☆14Jul 31, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Here I store my proof of concepts☆15Sep 6, 2024Updated last year
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- A version of Arcade which allows running Arcade games in a web browser☆15Jan 22, 2023Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆217May 11, 2019Updated 7 years ago
- STL compatible implementation of hash map optimized for concurrent access☆27Oct 4, 2019Updated 6 years ago
- Example ScalaJS webRTC client and Akka Websocket relay server.☆12Sep 23, 2016Updated 9 years ago
- AST-aware v8-to-istanbul☆17Jun 29, 2026Updated last week