Similar repositories to Danilo-Araujo-Silva/mathemagika:
Danilo-Araujo-Silva/mathemagika
github
similar
openai/tiktoken
github
similar
jerryjliu/gpt_index
github
similar
JLinAlg/master
github
similar
jonas-lj/Ruffini
github
similar
Gravisto/Gravisto
github
similar
LS-Lab/orbital
github
similar
horeilly1101/deriv
github
similar
axkr/symja_kotlin
github
similar
axkr/symja-parser
github
similar
suyjuris/obst
github
similar
Anon52MI4/oeis-alien
github
similar
datahaki/tensor
github
similar
muhos/ParaFROST
github
similar
idsc-frazzoli/subare
github
similar
mark-watson/power-java
github
similar
nicolasprevot/GpuShareSat
github
similar
HarvardPL/AbcDatalog
github
similar
mjansche/openfst
github
similar
idsc-frazzoli/tensor
github
similar
dwhalen/holophrasm
github
similar
kredel/java-algebra-system
github
similar
PoslavskySV/rings
github
similar
halirutan/Mathematica-Source-Highlighting
github
similar
crisbodnar/dgm
github
similar
yuemingl/SymJava
github
similar
LS-Lab/KeYmaeraX-release
github
similar
logic-ng/LogicNG
github
similar
spotify/github-java-client
github
similar
fredrik-johansson/fungrim
github
similar
GustikS/NeuraLogic
github
similar
JetBrains/jetCheck
github
similar
facebookresearch/GraphLog
github
similar
umontreal-simul/ssj
github
similar
Hipparchus-Math/hipparchus
github
similar
xmlet/HtmlFlow
github
similar
coq-community/fourcolor
github
similar
andrewcmyers/constrain
github
similar
sosy-lab/java-smt
github
similar
google/redgrep
github
similar