🐕
I really like dogs. They are so fun to play with, simple to care for, and cute.
I love making Github projects sold for $0 per customer, and helping people out on SO.
- United States
Stars
Language: Objective-C
All languages
Ada
Assembly
BlitzMax
C
C#
C++
CMake
CSS
Clojure
CoffeeScript
Common Lisp
D
EJS
Emacs Lisp
F#
Go
Groovy
HTML
HolyC
Java
JavaScript
Jupyter Notebook
Kotlin
Lua
MATLAB
Makefile
Mathematica
Nextflow
Objective-C
PHP
Processing
Python
R
Ruby
Rust
Scala
Shell
Squirrel
Svelte
Swift
TeX
TypeScript
Vala
Vue
Nothing to show
Sort by: Most stars
2
stars
written in Objective-C
Clear filter
Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language and runs in the Mathematica environment. The goal of the project is to us…