Snatch Mini-OS/Xen using Haskell and Ajhc compiler.
☆11Oct 19, 2013Updated 13 years ago
Alternatives and similar repositories for mini-os-with-ajhc
Users that are interested in mini-os-with-ajhc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Main (meta) repository for Project GEM (Gecko Embedded)☆21Nov 8, 2023Updated 3 years ago
- Sharing work on resumption monad☆12Sep 18, 2012Updated 14 years ago
- ATS言語に関する文書の日本語訳置き場☆21Nov 4, 2020Updated 6 years ago
- moved to https://github.com/keigoi/Coq4iOS2☆24Oct 25, 2018Updated 8 years ago
- Conduits for Processes☆26Apr 3, 2014Updated 12 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- CTF Writeups for the UW CTF Team☆15Dec 4, 2019Updated 6 years ago
- CU Decision Diagram Package (CUDD, unofficial mirror)☆18Jul 12, 2012Updated 14 years ago
- A Haskell memoization library☆31Jan 11, 2024Updated 2 years ago
- プロンプトの味気ないパスをかっこ良く表示するよ☆11Jul 27, 2013Updated 13 years ago
- ☆10Mar 15, 2019Updated 7 years ago
- Generates RPC server and client code from protocol buffer declarations☆11Aug 26, 2011Updated 15 years ago
- A web server to show bottlenecks of GHC☆15Jan 31, 2024Updated 2 years ago
- ☆19Oct 7, 2015Updated 11 years ago
- ☆14Nov 2, 2026Updated last week
- 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.
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆56Sep 14, 2011Updated 15 years ago
- Self-contained 3dfx Voodoo 1 (SST-1) demos on Mac / Linux☆11Apr 17, 2025Updated last year
- Output Go structure template from JSON structure☆10May 11, 2015Updated 11 years ago
- Heroku buildpack for Haskell☆76May 13, 2013Updated 13 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- Shooting Game with Monads and Lenses☆11Aug 19, 2014Updated 12 years ago
- Mock Server that implements the API Blueprint specification.☆34Jan 3, 2023Updated 3 years ago
- Uniqys Kit - A toolkit for creating your own DApps☆33Sep 25, 2022Updated 4 years ago
- Tutorial and test projects for the ZPUFlex core.☆11Dec 4, 2021Updated 4 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.
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- DDR3 frame buffer in Verilog, for Gowin FPGA☆13Sep 1, 2025Updated last year
- ☆13Apr 16, 2015Updated 11 years ago
- PostScript programming in the Coq proof assistant☆13Jun 12, 2014Updated 12 years ago
- ☆12Feb 18, 2013Updated 13 years ago
- Scala flavored useful API in Java☆12Feb 13, 2015Updated 11 years ago
- Folds and sequence algebras☆19Mar 12, 2023Updated 3 years ago
- moonline.zsh provides a modern prompt for zsh☆15Mar 8, 2018Updated 8 years ago
- Manipulate biomes with technology™. Server side mod for Fabric☆12Mar 11, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆10Jan 11, 2019Updated 7 years ago
- ScalikeJDBC demo on Android SQLite.☆10May 6, 2015Updated 11 years ago
- A subset of perl language based on typed lambda calculus.☆11Sep 22, 2013Updated 13 years ago
- my .emacs.d☆13Oct 8, 2026Updated last month
- ☆15May 21, 2022Updated 4 years ago
- OpenMucom88 project☆12Feb 13, 2026Updated 8 months ago
- MessagePack RPC component for AnyEvent!☆11Feb 1, 2013Updated 13 years ago
Are these results useful?