Documentation for the Ark language
☆12Mar 3, 2016Updated 9 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below
Sorting:
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- A modern and concise language that compiles to Java bytecode☆11Sep 8, 2019Updated 6 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- An experimental language with compile time bounds checking☆14Oct 27, 2019Updated 6 years ago
- ☆19Jun 6, 2017Updated 8 years ago
- Oberon-0 Compiler: An educational compiler for a subset of the Oberon programming language☆26Aug 18, 2014Updated 11 years ago
- Minimal programming language with type inference, structures, control flow, and more.☆21Jul 26, 2019Updated 6 years ago
- Programming Language in C#☆24Oct 23, 2017Updated 8 years ago
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆29Dec 19, 2014Updated 11 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Dec 16, 2021Updated 4 years ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 7 years ago
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated last month
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 7 months ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- 六爻预测☆11Apr 12, 2018Updated 7 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- ☆12Jun 13, 2016Updated 9 years ago
- Compiler and interpreter for a miranda-like functional language in Python.☆12Dec 28, 2011Updated 14 years ago
- ☆10Jul 24, 2023Updated 2 years ago
- Nim Cairo bindings☆10Feb 25, 2019Updated 7 years ago
- A complete rewrite of chococraft for MinecraftForge☆10May 4, 2016Updated 9 years ago
- A small minecraft server that aims to do the minimum required for a basic minecraft server.☆16Sep 7, 2014Updated 11 years ago
- crappy video injector for moflex videos☆10Jul 13, 2016Updated 9 years ago
- A lightweight fast and simple homebrew loader for Nintendo Wii.☆20Jul 25, 2010Updated 15 years ago
- Neo4j tutorials translated into Go & neoism☆13Aug 21, 2014Updated 11 years ago
- Moved to codeberg.org/derat/nitter-rss-proxy☆11Apr 18, 2023Updated 2 years ago
- An awesome list of reusable chart modules created by the Reuters graphics team☆10Jan 20, 2022Updated 4 years ago
- a git implementation in rust. yeah, I know..☆12Jun 10, 2016Updated 9 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- ooc operating system☆41May 24, 2021Updated 4 years ago
- Listen to transactions on the Stellar network as music in real-time☆11Oct 7, 2022Updated 3 years ago
- Find unicode codepoints to use in normalisation and transformation attacks.☆11Mar 15, 2021Updated 4 years ago
- programming language compiler w/ llvm☆13Nov 18, 2017Updated 8 years ago
- Unofficial fork Phosphor ported to 1.8.9 Forge☆13Apr 24, 2024Updated last year
- Call Julia from Rust☆16Dec 8, 2016Updated 9 years ago
- An expiring key/value cache with a Redis interface☆13Sep 10, 2015Updated 10 years ago