shangaslammi / haskeroidsView external linksLinks
A simple asteroids game using Haskell and OpenGL
☆19Mar 7, 2017Updated 8 years ago
Alternatives and similar repositories for haskeroids
Users that are interested in haskeroids are comparing it to the libraries listed below
Sorting:
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆32Sep 5, 2024Updated last year
- Sonic the Hedgehog 2 in Haskell☆67Jan 7, 2022Updated 4 years ago
- Crazy figures and animations with Haskell☆34Oct 19, 2018Updated 7 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- handouts and notes from the 2017 edition of the summer school☆39Jul 13, 2017Updated 8 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆12Apr 9, 2021Updated 4 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 4 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 2 months ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Classic games recreated in netwire☆95Feb 7, 2017Updated 9 years ago
- Hardware-tailored grouping for Pauli measurements.☆13Nov 28, 2025Updated 2 months ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆11Mar 18, 2025Updated 10 months ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- ☆10May 2, 2022Updated 3 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 4 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 3 years ago
- ⛔️ DEPRECATED - Live App SDK☆12Apr 15, 2024Updated last year
- Robotics @ Maryland Autonomous Underwater Vehicle☆14Aug 2, 2014Updated 11 years ago
- Style files for working with categorial grammars in LaTeX.☆13Oct 9, 2014Updated 11 years ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 9 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Graph-theoretical optimization of fusion-based graph state generation☆11Jun 4, 2025Updated 8 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Jul 31, 2025Updated 6 months ago
- Security related data and information for all aspects of Grin☆14Aug 2, 2021Updated 4 years ago
- Unsupervised Grammar Induction with Combinatory Categorial Grammars☆10Jan 28, 2021Updated 5 years ago