Implementation of delimited control for C/C++
☆28Nov 28, 2011Updated 14 years ago
Alternatives and similar repositories for libshift0
Users that are interested in libshift0 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 dialect of the Kernel programming language.☆27Sep 19, 2011Updated 14 years ago
- ☆13Jun 24, 2019Updated 7 years ago
- Pure Java clone of Basho's BitCask☆19Jun 28, 2012Updated 14 years ago
- Smalltalk source files☆19Jan 31, 2012Updated 14 years ago
- Val Schorre's META-II☆63Sep 8, 2013Updated 12 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.
- A plugin framework for namespace macros in C/C++☆36Jul 1, 2014Updated 12 years ago
- being some experiments, working towards some equipment I wish I had☆38Feb 3, 2016Updated 10 years ago
- Source for blog post demonstrating the difference between a proactor and reactor☆10May 1, 2017Updated 9 years ago
- Generates HTML pages to play ascii movies .. yeah .. I got really bored.☆28Jul 8, 2023Updated 3 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Jun 6, 2013Updated 13 years ago
- A utility library to bridge llvm and mlir gaps.☆16Jan 8, 2025Updated last year
- Line-for-line port of Rogue from C to Common Lisp☆13May 21, 2026Updated 2 months ago
- An implementation of µKanren for Pharo☆12Mar 1, 2015Updated 11 years ago
- A list of compilers with some metadata.☆12May 31, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- C / C++ Compiler and standard library Conformance Test Suite☆18Nov 5, 2025Updated 9 months ago
- biorbd + casadi + variational integrator☆10Jul 8, 2026Updated last month
- ☆15Feb 7, 2025Updated last year
- SIFStatic☆10Feb 15, 2021Updated 5 years ago
- A Clojure library for doing complex number calculations that wraps the Java commons-math3 Complex library.☆12Jul 3, 2018Updated 8 years ago
- Popen+ a Bidirectional Popen Implementation With Ability to Access PID and Kill/Terminate Processes☆11Apr 3, 2011Updated 15 years ago
- Haskell project statistics and definition analysis☆15Mar 17, 2023Updated 3 years ago
- Minimal Lisp/Forth☆11Jan 5, 2025Updated last year
- ☆14Jan 22, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An experiment with immutable.js-backed tcomb types☆14Jul 12, 2016Updated 10 years ago
- An experimental type-safe/context-aware templating library☆41Jan 14, 2013Updated 13 years ago
- Source code accompanying "Latent Effects for Reusable Language Components"☆15Aug 24, 2021Updated 4 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆44Sep 20, 2009Updated 16 years ago
- C++ Reflection Utilities☆14Updated this week
- Python module to generate somewhat pronounceable names via Markov chains.☆12Aug 20, 2020Updated 5 years ago
- TextMate support for Lisp☆13Sep 23, 2018Updated 7 years ago
- Kernel Programming Language written in assembly and Klisp, Imported from https://bitbucket.org/havleoto/bronze-age-lisp☆15Jan 3, 2020Updated 6 years ago
- warped simulation kernel (replacement of old system, beginning with version 5.0)☆17Jun 17, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Provide user-defined initialization semantics for arithmetic types.☆11Mar 29, 2026Updated 4 months ago
- A Lisp with row polymorphism, delimited continuations, and hygienic macros. [vaporware]☆56Mar 7, 2013Updated 13 years ago
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 9 years ago
- Experiment data, materials, and analysis scripts for the paper "HindSight: Encouraging Exploration through Direct Encoding of Personal In…☆14Oct 24, 2016Updated 9 years ago
- RtAudio + libsndfile lua binding. Now more interested in https://github.com/sonoro1234/LuaJIT-rtaudio☆21Oct 28, 2019Updated 6 years ago
- SIF40_DBDecrypt☆11Mar 25, 2017Updated 9 years ago