aaroncummings / strange-loop-2019View external linksLinks
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.☆22May 22, 2020Updated 5 years ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- Performant parser for textual data (CSV parser)☆34Oct 28, 2018Updated 7 years ago
- ☆19Jun 26, 2025Updated 7 months ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 5 years ago
- Supplementary code for Type Classes projects☆25Mar 4, 2020Updated 5 years ago
- Write formal proofs in natural language and LaTeX.☆46Dec 18, 2025Updated last month
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Neural networks using parametric prelenses and Trimbara modules☆36Mar 10, 2024Updated last year
- Demo Ajhc application on Android NDK☆55Nov 20, 2013Updated 12 years ago
- A Purescript implementation of Elm's `core` library☆30Jun 11, 2018Updated 7 years 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
- A small astrolabe suitable for laser cutting☆11May 23, 2024Updated last year
- Add a Solr-backed search interface to Omeka.☆22Feb 6, 2021Updated 5 years ago
- ☆12Apr 25, 2024Updated last year
- Webapp Mips simulator☆13Jan 21, 2026Updated 3 weeks ago
- The Concurrent Design Platform C# Software Development Kit that is compliant with ECSS-E-TM-10-25 Annex A and Annex C☆11Dec 24, 2025Updated last month
- ☆11Jun 21, 2022Updated 3 years ago
- An educational space exploration mobile game☆14Apr 24, 2024Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Good enough eci / ecef conversion tool.☆11Feb 20, 2023Updated 2 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- An online marketplace exclusively for local stores with door-to-door delivery to customers☆11Sep 8, 2021Updated 4 years ago
- An open-source carbon box model implementation built on JAX.☆11Apr 2, 2024Updated last year
- These are the lecture notes for my class on linear algebra.☆10Oct 28, 2024Updated last year
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- Julia notebook for exploring correlations among consecutive primes.☆10Sep 7, 2020Updated 5 years ago
- Method of sizing on-prem Oracle databases in Azure according to actual usage information from Oracle AWR☆10Oct 17, 2025Updated 3 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Facial Motion Capture Article and Sample Project☆11Apr 1, 2020Updated 5 years ago
- ☆10Jul 17, 2025Updated 6 months ago
- Data vault for metrics☆58Mar 25, 2015Updated 10 years ago
- Ruby on Rails☆11May 1, 2017Updated 8 years ago
- Central place for all PDP-10 microcode☆13Mar 28, 2018Updated 7 years ago
- A synthesizer/musical tool made in C# and running in Unity, with very beautiful chord transitions.☆10Jan 15, 2020Updated 6 years ago
- Original Joy☆10Dec 17, 2024Updated last year
- ☆12Jul 28, 2013Updated 12 years ago