Space Lich Omega 2 Incremental RPG made with Angular
☆30Feb 13, 2026Updated last month
Alternatives and similar repositories for slotwo
Users that are interested in slotwo are comparing it to the libraries listed below
Sorting:
- Semantic Version Control mk II.☆37Apr 4, 2020Updated 5 years ago
- shell script for mpd that uses rofi to add songs, albums, playlist, jump to a song in the current playlist etc.☆21Feb 13, 2023Updated 3 years ago
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 6 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- git svn clone of https://code.google.com/p/wikiteam/☆13Mar 6, 2016Updated 10 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Mar 29, 2016Updated 9 years ago
- Collection of free themes for Tumblr.☆16Apr 27, 2018Updated 7 years ago
- ☆13Oct 18, 2017Updated 8 years ago
- [DEPRECATED] Generator to create minimalistic React + Flask scaffold☆11Jun 11, 2021Updated 4 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- Official Avant Window Navigator Extras repository☆20Dec 4, 2015Updated 10 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- Imgui core for Kha☆14Jul 17, 2019Updated 6 years ago
- HTML 5 WYSIWYG Editor☆40Aug 25, 2017Updated 8 years ago
- Mirror of core.typed for internal development.☆14Nov 18, 2018Updated 7 years ago
- Generic Little System☆17May 5, 2024Updated last year
- Managed research kernel☆43Jan 29, 2010Updated 16 years ago
- Android PopupWindows with an arrow indicator☆11Mar 18, 2016Updated 10 years ago
- fiatleak.com - watch the world's currencies flow into BTC in realtime☆106Jan 10, 2014Updated 12 years ago
- An algebra for Matrix Expressions written in Maude☆24Oct 23, 2012Updated 13 years ago
- dotfiles: karabiner, starship, tmux, skhd, yabai, alacritty☆18Mar 6, 2026Updated 2 weeks ago
- ☆14Jan 11, 2021Updated 5 years ago
- ETH2GC Card Slot PCB, Case Files☆16May 8, 2025Updated 10 months ago
- An abstract machine using indexed containers and their zippers☆13Dec 29, 2016Updated 9 years ago
- Yet another scrypt coin☆25Dec 6, 2015Updated 10 years ago
- Unnamed repository; edit this file 'description' to name the repository.☆15Jul 6, 2015Updated 10 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- Raptor: Call of the Shadow in Javascript in 96k☆11Jul 22, 2012Updated 13 years ago
- Ethereum Package Registry☆13Feb 10, 2017Updated 9 years ago
- Gran Turismo unpacking/decryption tool☆15Mar 24, 2020Updated 5 years ago
- Quick JVS emu for testing various stuff.☆10Sep 7, 2018Updated 7 years ago
- ☆21May 3, 2019Updated 6 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Feb 23, 2026Updated 3 weeks ago
- A fork from Shotgun Frenzy (a Doom 2 mod) which adds more stuff for Zandronum.☆11Nov 27, 2025Updated 3 months ago
- A remake of the trench sequence of star wars (level III), a vintage arcade game.☆10Jun 18, 2014Updated 11 years ago
- A full disassembly for Jackal on the NES. All sections are commented. Graphical data is omitted.☆24May 29, 2023Updated 2 years ago