hy appengine repl
☆29Aug 24, 2021Updated 5 years ago
Alternatives and similar repositories for tryhy
Users that are interested in tryhy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Feb 10, 2016Updated 10 years ago
- java mario game☆18Jun 3, 2020Updated 6 years ago
- moxie☆28Jan 6, 2016Updated 10 years ago
- A Factor port of QuickCheck unit test framework☆14May 9, 2020Updated 6 years ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 10 months 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.
- Simple, extensible bytecode interpreter☆26Oct 19, 2015Updated 11 years ago
- Bhaukal does frame by frame animation of text☆10Apr 30, 2014Updated 12 years ago
- Edited source of the eZ430-Chronos development kit. Some changes for smaller space. Designed with the 16KB limit of CCS in mind. Slide ru…☆13Dec 18, 2013Updated 12 years ago
- A partial implementation of Clojure, in pure Ruby☆16Jul 21, 2020Updated 6 years ago
- the ill programming language & interpreter☆13Oct 10, 2018Updated 8 years ago
- A theorem prover☆17Aug 19, 2026Updated 2 months ago
- Church-encoding of the Freer monad☆29Oct 27, 2016Updated 10 years ago
- Pronounced: chaos☆18Oct 22, 2019Updated 7 years ago
- A simple http routing API☆12Oct 7, 2014Updated 12 years ago
- 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.
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 8 years ago
- 📂 gitconfig, ruby, perl, nvim☆11Jan 19, 2026Updated 9 months ago
- Workaround for lack of AddAllowedWebObject in Win32 WebView☆19Oct 29, 2026Updated 2 weeks ago
- A virtual machine for the Epiphany processor architecture on Parallella boards.☆11Nov 28, 2013Updated 12 years ago
- ☆13Jan 10, 2022Updated 4 years ago
- Meera Tamil Unicode font, Now renamed as Meera Inimai and moved to https://gitlab.com/smc/meera-inimai/☆15Mar 26, 2016Updated 10 years ago
- Restful HTTP Client package in golang☆10Jul 7, 2010Updated 16 years ago
- Remote attestation for the safeboot system☆11Mar 10, 2022Updated 4 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.
- 💧 SAMPLE: WebSocket Sample Application☆10May 21, 2026Updated 5 months ago
- Old website for the UK Society of Research Software Engineers - not the source for the live site at rse.ac.uk. To suggest changes to that…☆12Jun 4, 2024Updated 2 years ago
- A CPU that uses Brainfuck as its machine code☆15Jan 19, 2013Updated 13 years ago
- ☆12Jan 9, 2018Updated 8 years ago
- The Measure Platform is a web application which allows to collect, compute, store, and visualize measurements by execution of software me…☆10Oct 15, 2019Updated 7 years ago
- Mozilla Persona (BrowserID) example using Noir☆13Dec 5, 2012Updated 13 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/jejb/sbsigntools.git/ with patches for yubikey support☆10Aug 14, 2020Updated 6 years ago
- SublimeLinter plugin for python, using pydocstyle.☆10Apr 24, 2025Updated last year
- An edn library for python.☆11May 29, 2015Updated 11 years ago
- 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.
- Planning Network Visualization☆14Nov 30, 2021Updated 4 years ago
- Upload of the source of 4.2BSD taken from /usr/src☆12Aug 8, 2024Updated 2 years ago
- machine fusion☆16Oct 13, 2018Updated 8 years ago
- Leiningen plugin for non-AOT uberjars☆14Jan 25, 2026Updated 9 months ago
- Re-usable results data for the 2015 UK Parliamentary Elections☆10May 29, 2015Updated 11 years ago
- phonetic transcription for Tibetan☆10Mar 13, 2019Updated 7 years ago
- Materials for teaching Python to Elementary students☆16Oct 22, 2010Updated 16 years ago
Are these results useful?