Uptime 15,364 days - The Computers of Voyager
☆44Sep 16, 2019Updated 6 years ago
Alternatives and similar repositories for strange-loop-2019
Users that are interested in strange-loop-2019 are comparing it to the libraries listed below
Sorting:
- A subfield of the complex numbers for exact calculation.☆21May 22, 2020Updated 5 years ago
- ☆19Feb 11, 2026Updated 3 weeks ago
- Performant parser for textual data (CSV parser)☆34Oct 28, 2018Updated 7 years ago
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 5 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- Supplementary code for Type Classes projects☆25Mar 4, 2020Updated 6 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- Demo Ajhc application on Android NDK☆55Nov 20, 2013Updated 12 years ago
- Neural networks using parametric prelenses and Trimbara modules☆36Mar 10, 2024Updated last year
- A Purescript implementation of Elm's `core` library☆30Jun 11, 2018Updated 7 years ago
- A pdp-8 emulator in Python with Tkinter GUI.☆10Mar 25, 2022Updated 3 years ago
- Add a Solr-backed search interface to Omeka.☆22Feb 6, 2021Updated 5 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- Client Package for the Amazon DynamoDB Service☆13Jan 12, 2020Updated 6 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Example code for Sunrise, written in Arduino.☆12Aug 8, 2023Updated 2 years ago
- Good enough eci / ecef conversion tool.☆11Feb 20, 2023Updated 3 years ago
- Bitcoin Hardware Wallet Interaction scripts☆11Jan 30, 2026Updated last month
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Repository for holding all CCSDS MO documentation, examples, tutorials and issue lists.☆14Feb 11, 2016Updated 10 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- Webapp Mips simulator☆13Jan 21, 2026Updated last month
- ☆12Apr 25, 2024Updated last year
- termux.stable.all.deb.packages https://wae.github.io/termux.stable.all.deb.packages/☆10Jan 10, 2020Updated 6 years ago
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- An educational space exploration mobile game☆15Apr 24, 2024Updated last year
- These are the lecture notes for my class on linear algebra.☆10Oct 28, 2024Updated last year
- A small astrolabe suitable for laser cutting☆12May 23, 2024Updated last year
- The Concurrent Design Platform C# Software Development Kit that is compliant with ECSS-E-TM-10-25 Annex A and Annex C☆11Feb 23, 2026Updated last week
- tiger compiler☆10May 6, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Portable GAL assembler☆13Sep 18, 2023Updated 2 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- Almost all of Csound as an Android app, with a built-in code editor and support for HTML5 and JavaScript.☆11Nov 6, 2024Updated last year