good first issue
Good for newcomers
#
axiom
Here are 44 public repositories matching this topic...
automated web assets enumeration & scanning
zulip
nuclei
axiom
subfinder
aquatone
jaeles
kenzer
freaker
freakerdb
s3hunter
favinizer
domlock
certex
kenzerdb
kenzer-templates
kenzer-bin
ffuf
shuffledns
scanfactory
arpsyndicate
-
Updated
Jun 26, 2022 - Python
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
scala
proof
mathematica
tactics
dynamical-systems
differential-equations
hybrid-systems
theorem-prover
axiom
cyber-physical-systems
dynamic-logics
differential-dynamic-logic
keymaera
hybrid-games
-
Updated
May 28, 2022 - Scala
A device to control AXIOM cameras.
-
Updated
Apr 29, 2022 - C++
Axiom API NodeJS bindings.
-
Updated
Jun 23, 2022 - TypeScript
Send Web-Vitals from Vercel to Axiom.
-
Updated
Jun 25, 2022 - TypeScript
The power of Axiom on the command line.
-
Updated
Jun 7, 2022 - Go
Software to record moving images from Apertus° AXIOM cameras via USB3 or ethernet
-
Updated
Jun 13, 2022 - Rust
enclosure for the mainboard and zturn lite
-
Updated
Mar 13, 2020 - OpenSCAD
gateware for the main fpga, including a hispi decoder and image processing
-
Updated
Sep 27, 2018 - Verilog
Axiom API Go bindings.
-
Updated
Jun 22, 2022 - Go
A log forwarder/multiplexer for Axiom and Honeycomb.
-
Updated
Nov 22, 2021 - Go
An iOS jailbreak UX Utility Over Checkm8 Bootrom Exploit. Readme for more :)
-
Updated
Oct 15, 2019 - QML
A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.
-
Updated
Sep 28, 2018 - Python
Algorithms and Data Structures course assignments: Degeneracy - Graph Theory, Broken Telephone, Plant Grammar and K-Minimum Spanning Tree - Bonus
python
computer-science
drawing
algorithms
graph
dictionary
grammar
university-project
data-structures
levenshtein-distance
networks
l-systems
heuristics
bk-trees
algorithm-implementations
minimum-spanning-trees
axiom
pq
k-core
bk-tree-search
-
Updated
Oct 11, 2021 - Python
Specify axioms for type classes and quickCheck all available instances
-
Updated
Jul 13, 2017 - Haskell
Collection of Homebrew formulas for Axiom, Inc. open source projects.
-
Updated
May 31, 2022 - Ruby
Jupyter kernel for SPAD
-
Updated
Jan 31, 2019 - Common Lisp
Vue-ified webgui with development server, ES6 linting and tests
-
Updated
Feb 27, 2018 - Vue
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."
Feature Request:
I've been having this idea circling my mind since quite a while and since I can't find time to submit a PR I think it's better to at least have it "on the table" than just in my mind...
I think it would be great that every time a user runs
axiom-rma message displaying the uptime and money cost would be printed to the stdout. That would be for each individual machine and