A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
☆16Nov 30, 2018Updated 7 years ago
Alternatives and similar repositories for Assiah
Users that are interested in Assiah are comparing it to the libraries listed below
Sorting:
- Poetic Edda in Old Norse with English translation by H. A. Bellows☆13Feb 12, 2015Updated 11 years ago
- A platform for building low level programs for multiple platforms using XML documents☆14Jul 8, 2023Updated 2 years ago
- Inferno OS branch (with some necessary addings) common for Android, Windows and Linux☆13Jun 15, 2020Updated 5 years ago
- Swift Bare Bones☆28Jun 5, 2016Updated 9 years ago
- ಠ_ಠ The most disapproving coding language on the Internet.☆10Nov 4, 2015Updated 10 years ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- Mirror of git.qemu.org/vgabios.git☆27Mar 2, 2017Updated 9 years ago
- [no longer supported, please see SBTCVM-Gen2-9] Simple Balanced Ternary Computer Virtual Machine: Mark 2 is a simple Balanced Ternary VM …☆14Mar 1, 2018Updated 8 years ago
- [satire] A complete language backed by C++☆22May 1, 2015Updated 10 years ago
- Frank Sergeant's Pygmy Forth for Desktops (anywhere Python runs)☆18Sep 22, 2019Updated 6 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- ☆19Sep 3, 2018Updated 7 years ago
- Natural language construction grammar parser☆10Jul 10, 2015Updated 10 years ago
- (WIP) OCaml library for schedule, time, and time slots handling☆15Nov 10, 2020Updated 5 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Trillek Virtual Computer specs☆50Mar 23, 2015Updated 10 years ago
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- tool to generate copyright lines for files from git history☆17Aug 30, 2014Updated 11 years ago
- a simple concatenative programming language written in C++☆34Nov 14, 2018Updated 7 years ago
- Extensible esoteric programming language interpreter written in Python 3. *Not in active development/contributors needed*☆19Jun 14, 2019Updated 6 years ago
- Frank Sergeant's Pygmy Forth version 1.7☆24May 8, 2015Updated 10 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- A very simple markdown viewer using socket.io☆22Mar 15, 2015Updated 11 years ago
- Yet another homebrew OS☆10Aug 4, 2020Updated 5 years ago
- An object-oriented operating system focused on isolating processes to improve security, portability & scaling☆15Aug 9, 2023Updated 2 years ago
- 2016-2017 WS and SS Courses☆10Mar 25, 2021Updated 4 years ago
- a forth like language written in fasm assembler☆14Jul 27, 2016Updated 9 years ago
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 9 years ago
- An OS based on a x86-Microkernel written in FreeBASIC.☆40Feb 28, 2019Updated 7 years ago
- ☆12Feb 9, 2022Updated 4 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Feb 2, 2018Updated 8 years ago
- Just testing my skills to see if I can make a voxel game. I'm not planning to do anything with it.☆11Apr 15, 2020Updated 5 years ago
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 13 years ago
- Naive dependancy injection for Swift☆10Jan 14, 2016Updated 10 years ago
- mal - Make a Lisp☆14Jun 12, 2021Updated 4 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/libc☆15Dec 14, 2020Updated 5 years ago