axiom

Here are 21 public repositories matching this topic...

LS-Lab / KeYmaeraX-release

Star

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 Jul 1, 2020
Scala

avicomp / ont-api

Star

ONT-API (OWL-API over Apache Jena)

Updated Oct 20, 2019
Java

apertus-open-source-cinema / AXIOM-Remote

Star

A device to control AXIOM cameras.

c-plus-plus device embedded control camera hardware pic32 openhardware axiom apertus

Updated Jun 20, 2020
C++

apertus-open-source-cinema / axiom-micro-mechanical

Star

enclosure for the mainboard and zturn lite

cad freecad enclosure axiom axiom-micro

Updated Mar 13, 2020
OpenSCAD

apertus-open-source-cinema / axiom-micro-gateware

Star

gateware for the main fpga, including a hispi decoder and image processing

fpga image-processing image-sensor axiom migen apertus hispi

Updated Sep 27, 2018
Verilog

groob / vquery

Star

Return Veracross saved Query as JSON. It's an API!

axiom veracross

Updated Sep 25, 2018
Go

apertus-open-source-cinema / axiom-recorder

Star

Software to record moving images from Apertus° AXIOM cameras via USB3 or ethernet

recorder usb3 cinematography axiom apertus

Updated Sep 25, 2019
Rust

joeytman / Modal_Logic_Tableaux_Solver

Star

A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.

visualization formula paper logic visualisation logic-programming modal-logic axiom modal-formulas

Updated Sep 28, 2018
Python

rdunlocked18 / JailbreakBRCheckm8

Star

An iOS jailbreak UX Utility Over Checkm8 Bootrom Exploit. Readme for more :)

jailbreak axiom jailbreak-tweak checkm8

Updated Oct 15, 2019
QML

unitb / axiomatic-classes

Star

Specify axioms for type classes and quickCheck all available instances

quickcheck type-classes axiom

Updated Jul 13, 2017
Haskell

KinoKabaret / AXIOM-WebRemote

Star

Vue-ified webgui with development server, ES6 linting and tests

vue quasar-framework axiom apertus

Updated Feb 27, 2018
Vue

guhao022 / axiom

Star

bot-api axiom

Updated Apr 19, 2018
Go

nilqed / spad_http

Star

Jupyter kernel for SPAD

python common-lisp jupyter-notebook http-server fricas axiom hunchentoot spad

Updated Jan 31, 2019
Common Lisp

aaly / axiom

Star

this Repo provides the Build system of Axiom project for X86.

platform build system for architecture x86 the axiom

Updated Apr 12, 2017
CMake

Tanvish / ignite

Star

Integrated Maths and science fest for DPS Dwarka - Ignite And Axiom 2.0

science chemistry biology physics maths ignite axiom igniteandaxiom mathsandsciencefest dpsdwarka

Updated Oct 17, 2017

designMoreWeb / videos

Star

React youtube player

react css axiom

Updated Jun 6, 2020
JavaScript

anuejn / axiom_touch_mock

Star

A mockup for a more touch friendly camera control

ui camera ux remote cinematography axiom apertus

Updated Mar 2, 2018
JavaScript

designMoreWeb / pics

Star

Find pictures from Unsplash.io

react css axiom

Updated Jun 6, 2020
JavaScript

nsajko / numericcompfricas

Star

trigonometry numeric cas cosine sine scratchpad fricas axiom

Updated Mar 24, 2020
C

DarshanKumar89 / world-population

Star

world-population-view

react redux reactjs antd axiom antdesign

Updated Oct 21, 2018
JavaScript

julienbrg / clair-eth

Star

Clair.eth is a blog powered by Hugo + IPFS + ENS

blog hugo ethereum ipfs axiom ens

Updated Apr 8, 2020
HTML

Improve this page

Add a description, image, and links to the axiom topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the axiom topic, visit your repo's landing page and select "manage topics."

Learn more