2D Collision Detection for Lua using the Separating-Axis Theorem

Lua29mit

last year

2d-game-frameworkcollision-detectionlove2d

Ada binding to the Z3 Theorem Prover

Ada6mit

3 months ago

A separation axis theorem collision library for Haxe.

Haxe166mit

5 years ago

Neovim support for the Lean theorem prover

Lua278mit

yesterday

leanlean4leanprover

Artificial intelligence/machine learning data structures and Swift algorithms fo

Swift335mit

8 years ago

neural-networkswiftswift-brain

The Z3 Theorem Prover

C++10253other

last month

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq15other

4 months ago

complex-analysiscoqreal-analysis

Coq is a formal proof management system. It provides a formal language to write

OCaml4836lgpl-2.1

27 days ago

coqdependent-typesproof-assistant

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liy

Coq128bsd-2-clause

2 months ago

coqcoq-cicoq-platform

2D Collision Detection for Lua using the Separating-Axis Theorem

Lua29mit

last year

2d-game-frameworkcollision-detectionlove2d

Ada binding to the Z3 Theorem Prover

Ada6mit

3 months ago

A separation axis theorem collision library for Haxe.

Haxe166mit

5 years ago

Neovim support for the Lean theorem prover

Lua278mit

yesterday

leanlean4leanprover

Artificial intelligence/machine learning data structures and Swift algorithms fo

Swift335mit

8 years ago

neural-networkswiftswift-brain

The Z3 Theorem Prover

C++10253other

last month

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq15other

4 months ago

complex-analysiscoqreal-analysis

Coq is a formal proof management system. It provides a formal language to write

OCaml4836lgpl-2.1

27 days ago

coqdependent-typesproof-assistant

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liy

Coq128bsd-2-clause

2 months ago

coqcoq-cicoq-platform