A small OS that doesn't do much.
☆23Apr 30, 2024Updated last year
Alternatives and similar repositories for thimble
Users that are interested in thimble are comparing it to the libraries listed below
Sorting:
- SoundCloud frontend for Emacs powered by emms☆34May 2, 2015Updated 10 years ago
- Zulip RSVP for Humans☆28May 24, 2017Updated 8 years ago
- *search by browsing*: annotation aggregation (prev extension-annotation-sidebar)☆24Oct 2, 2025Updated 4 months ago
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 13 years ago
- everything is an image☆20Dec 23, 2022Updated 3 years ago
- Simple CQRS example using AWS Lambda and the Serverless framework.☆21Apr 16, 2018Updated 7 years ago
- ☆26Mar 30, 2021Updated 4 years ago
- Dew is a little programming language which targets the Lua virtual machine☆27Jul 14, 2025Updated 7 months ago
- The execution environment and command line interface for AliceScript.☆11Sep 15, 2025Updated 5 months ago
- pico piecetable☆30May 26, 2018Updated 7 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Feb 13, 2020Updated 6 years ago
- show python coverage information directly in emacs☆38Jun 1, 2025Updated 9 months ago
- willow - a simple interpreted programming language☆10Feb 3, 2018Updated 8 years ago
- DTrace script mode for Emacs☆10Jan 27, 2018Updated 8 years ago
- Reactables enable you to bring the power of React and JSX outside of the JavaScript ecosystem.☆51Feb 11, 2025Updated last year
- A companion cli for https://val.town☆46Mar 4, 2025Updated 11 months ago
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- My notes on natural history, science, and technology.☆17Dec 21, 2025Updated 2 months ago
- Sometimes all you need is a single file.☆14Sep 29, 2020Updated 5 years ago
- Personal expense tracking application☆10Nov 10, 2018Updated 7 years ago
- Opinionated Ink Physics☆12Jan 31, 2025Updated last year
- Escape the underground labyrinth. A puzzle platformer without jumping.☆10Aug 13, 2020Updated 5 years ago
- python-csp provides python with communicating sequential processes style parallelism☆12Jul 13, 2021Updated 4 years ago
- ☆11Nov 18, 2024Updated last year
- Simulation of utility tokens for trading renewable energy in urban slum communities. Agent-based model (ABM)☆12Sep 22, 2018Updated 7 years ago
- a lisp interpreter written in Go☆14Jun 24, 2020Updated 5 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Windows build environment for Python☆11Dec 2, 2014Updated 11 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Cross Runtime system service installer.☆13Nov 21, 2024Updated last year
- a kernel☆13Sep 24, 2023Updated 2 years ago
- Authentication and CORS helper for Python cloud functions☆11Jun 12, 2019Updated 6 years ago
- Documentation for the Othermill in B27 Garage☆12Apr 28, 2017Updated 8 years ago
- This is a library which implements certain aspects of the Raft Consensus Algorithm, which is used to get a cluster of servers to agree on…☆11Apr 12, 2021Updated 4 years ago
- T is a work-in-progress text editor inspired by the Acme editor from Plan9.☆10Feb 17, 2019Updated 7 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A tiny thin client for multiplayer games☆19Feb 6, 2014Updated 12 years ago
- Wasm module dependency analysis for module resolution☆12Jul 29, 2025Updated 7 months ago
- Setup a Go development environment with Vagrant☆10Aug 1, 2015Updated 10 years ago