axiom
Here are 67 public repositories matching this topic...
Specify axioms for type classes and quickCheck all available instances
-
Updated
Jul 13, 2017 - Haskell
Integrated Maths and science fest for DPS Dwarka - Ignite And Axiom 2.0
-
Updated
Oct 17, 2017
Vue-ified webgui with development server, ES6 linting and tests
-
Updated
Feb 27, 2018 - Vue
gateware for the main fpga, including a hispi decoder and image processing
-
Updated
Sep 27, 2018 - Verilog
A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.
-
Updated
Sep 28, 2018 - Python
Jupyter kernel for SPAD
-
Updated
Jan 31, 2019 - Common Lisp
An iOS jailbreak UX Utility Over Checkm8 Bootrom Exploit. Readme for more :)
-
Updated
Oct 15, 2019 - QML
enclosure for the mainboard and zturn lite
-
Updated
Mar 13, 2020 - OpenSCAD
-
Updated
Mar 24, 2020 - C
Created User Friendly UI using React.js Framework, axiom services, bootstrap, CSS.
-
Updated
May 18, 2022 - JavaScript
Improve this page
Add a description, image, and links to the axiom topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the axiom topic, visit your repo's landing page and select "manage topics."