Managed research kernel
☆43Jan 29, 2010Updated 16 years ago
Alternatives and similar repositories for RenrakuOS
Users that are interested in RenrakuOS are comparing it to the libraries listed below
Sorting:
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Jun 4, 2022Updated 3 years ago
- experiments with pext/pdep and codebruijn syntax☆17Nov 17, 2019Updated 6 years ago
- Code Snippets, Libraries and Example projects created with DigiPen's Zero Engine.☆12Mar 10, 2018Updated 7 years ago
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- Thesis☆38Apr 4, 2018Updated 7 years ago
- Specification to describe the minimum information standard for online community data. Guidelines for describing data about online communi…☆11Sep 19, 2016Updated 9 years ago
- An interactive Ruby shell that can also be used as a Unix shell replacement☆10May 16, 2011Updated 14 years ago
- Another implementation of Frank.☆70Jul 14, 2017Updated 8 years ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- Open Source License Compliance Checklists☆11Oct 18, 2024Updated last year
- 👻 A cross-platform C++ application development framework☆15Feb 23, 2026Updated last week
- Syllabus for "Anthropology of Silicon Valley(s)" course☆16Apr 24, 2017Updated 8 years ago
- Integrated model to calculate the effects of resilient foods in catastrophic events☆11May 20, 2025Updated 9 months ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- XSKIN 是基于 c++ 和GDI做的 一个UI库. Direct UI库，部分参考Duilib,有些作者自己的想法实现，模仿java事件监听器机制和android布局文件. 内部使用其它该源的jpg, png图片解码库☆12Sep 6, 2017Updated 8 years ago
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- ☆10Sep 7, 2015Updated 10 years ago
- Android Library project which helps developers work with country iso codes and country telephone prefixes and more! Uses Google's libphon…☆11Apr 22, 2015Updated 10 years ago
- Coverity Security Library (CSL) is a lightweight set of escaping routines for fixing cross-site scripting (XSS), SQL injection, and other…☆11Mar 8, 2020Updated 5 years ago
- The labs of ARC university courses☆12Aug 29, 2023Updated 2 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- OSS License Open Data☆12Jun 28, 2019Updated 6 years ago
- A simulation of the true impact on climate and CO2 emissions of an electric car vs a traditional gasoline car, based on science.☆16Jan 29, 2026Updated last month
- ☆11Jul 20, 2016Updated 9 years ago
- Scriptable game engine, using Ogre3D, ODE, and DirectShow.☆10Oct 19, 2020Updated 5 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- Hindering Backchannels Rule☆12Feb 7, 2020Updated 6 years ago
- Bitcoin payment channel library☆11Jul 12, 2017Updated 8 years ago
- How to convert MDS trip data to anonymized open data for city governments.☆10Jul 6, 2020Updated 5 years ago
- Rust library of Z85, ZEROMQ's binary-to-text encoding mechanism☆7Feb 13, 2026Updated 3 weeks ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Background materials for the article "Productivity Assessment of Neural Code Completion"☆13Jul 11, 2023Updated 2 years ago
- A work-in-progress cyberpunk online role-playing game.☆11May 23, 2017Updated 8 years ago
- The lightweight gemspec editor.☆20Jan 20, 2012Updated 14 years ago
- ☆14Jan 31, 2023Updated 3 years ago
- A document management tool☆11Nov 7, 2022Updated 3 years ago