vm for a dynamically typed language
☆35Aug 11, 2017Updated 8 years ago
Alternatives and similar repositories for ivm
Users that are interested in ivm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Metro UI by qml 使用纯qml构建的Metro风格控件☆16Apr 22, 2017Updated 9 years ago
- Practice makes perfect they say; So I was being trying to better my Python coding a little; It's a never-ending process!☆25Jun 2, 2020Updated 6 years ago
- Visualizes hackathons happening around the world in the future and the past using Google Maps and Hackalist API☆13Apr 30, 2019Updated 7 years ago
- A good and lazy way to add styles in HTML elements☆12Oct 5, 2017Updated 8 years ago
- 基于zopfli封装的PNG图片压缩库☆10Aug 28, 2016Updated 9 years 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.
- All you need to build and run SystemC and AccessNoxim on your system; SystemC and AccessNoxim are tools to emulate and test network-on-ch…☆14Dec 17, 2017Updated 8 years ago
- Android game.☆12Apr 10, 2019Updated 7 years ago
- Code snippets for UI programming blog http://www.joona.net☆14Jun 26, 2020Updated 6 years ago
- A minimal Bash framework and CLI tool that makes writing, sharing and using bash scripts easy☆12Apr 23, 2026Updated 3 months ago
- 爬万本书籍☆20Jun 10, 2020Updated 6 years ago
- Hashids, ported for Perl☆17Dec 17, 2020Updated 5 years ago
- Personal spare-time project to build a NYC Restaurants web search using the restaurants dataset example from MongoDB.☆12Dec 11, 2021Updated 4 years ago
- Extensión de Chromium y Firefox que agrega configuraciones de personalización a U-Cursos.☆25Oct 13, 2022Updated 3 years ago
- Java Library for Generating x86 Code☆12Sep 30, 2019Updated 6 years 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.
- a git implementation in rust. yeah, I know..☆12Jun 10, 2016Updated 10 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Machine Learning and Deep Learning with examples.☆11Feb 26, 2019Updated 7 years ago
- Formally Verified X.509 Certificate Validation☆15Nov 19, 2025Updated 8 months ago
- Aidos Kuneen Full Node☆12Aug 18, 2022Updated 3 years ago
- iOS各种知识点学习、总结、基本每个一个功能点☆12Sep 16, 2015Updated 10 years ago
- 大约从2013年开始，我才明白，一个人真正想要得到的技能必须要自己来教。所有的课程或者大牛的告戒都是参考。直到你开始想怎么才能教会教好自己时，那就进入正道了。☆13Sep 24, 2019Updated 6 years ago
- ChickenClisp is a Scheme like language and interpreter. An Implementation of Orelang in D☆16Oct 3, 2023Updated 2 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Compcert repository of the Yale FLINT Group☆12Mar 10, 2026Updated 4 months ago
- SMTP/POP3 protocol for ZeroMail☆13Jan 10, 2018Updated 8 years ago
- ☆10Jan 26, 2016Updated 10 years ago
- 将ttf字体或者svg字 体，转换为PNG的小工具☆11Jul 4, 2016Updated 10 years ago
- Bukkit plugin that loads versioned NMS jars as a library for use during runtime.☆15Sep 27, 2014Updated 11 years ago
- It likes everything☆21Aug 2, 2017Updated 8 years ago
- Forward SMS messages received from CDMA modules to Telegram☆13Apr 2, 2019Updated 7 years ago
- programming language compiler w/ llvm☆13Nov 18, 2017Updated 8 years ago
- A CRUD PROJECT BASED ON FLUTTER☆19Mar 8, 2023Updated 3 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.
- Make some gooey effects component by QML Canvas.☆16Dec 4, 2015Updated 10 years ago
- ForgeGradle 2 extension for Vanilla libraries☆12Apr 30, 2017Updated 9 years ago
- R package for easy logging☆39Dec 23, 2015Updated 10 years ago
- 🦑 A friendly Ruby API to iptables.☆15May 6, 2017Updated 9 years ago
- Some fools attempt at an interpreted language☆12Dec 6, 2020Updated 5 years ago
- Ich möchte eine Maschine, die schreiben kann, wie ich kann☆18Jun 5, 2026Updated last month
- JavaScript client library for The Ocean X☆15Aug 9, 2018Updated 7 years ago