Similar repositories to bond15/Polynomials-Categorically:
bond15/Polynomials-Categorically
github
similar
gibiansky/IHaskell
github
similar
jules-hedges/synthetic-probability
github
similar
AlgebraicJulia/Poly.jl
github
similar
cambridge-mlg/SPVAE
github
similar
zhangandyx/highway-vs-gradnet
github
similar
BioHaskell/octree
github
similar
janestreet/ppx_enumerate
github
similar
DimaKrotov/Dense_Associative_Memory
github
similar
BartoszMilewski/PolyLens
github
similar
stelzner/supair
github
similar
bolt12/tymfgg-pearl
github
similar
snu-mllab/EMI
github
similar
isovector/algebra-checkers
github
similar
ats-lang/ATS-Postiats-release
github
similar
philzook58/nand2coq
github
similar
ToposInstitute/poly
github
similar
Smerity/tf-ham
github
similar
wittawatj/interpretable-test
github
similar
DNNToolBox/Net-Trim-v1
github
similar
sorear/metamath-turing-machines
github
similar
simonw/airtable-export
github
similar
openai/lean-gym
github
similar
ncatlab/nlab
github
similar
inQWIRE/QWIRE
github
similar
patrick-kidger/Deep-Signature-Transforms
github
similar
bolt12/laop
github
similar
JuliaIntervals/ValidatedNumerics.jl
github
similar
thehottgame/TheHoTTGame
github
similar
Quantomatic/quantomatic
github
similar
philkr/lpo
github
similar
rdeits/RegionTrees.jl
github
similar
flukeskywalker/highway-networks
github
similar
msakai/cpl
github
similar
fomorians/lstm-odyssey
github
similar
eskimor/purescript-bridge
github
similar
cytoscape/cytoscape.js-cose-bilkent
github
similar
oxford-quantum-group/discopy
github
similar
artiste-qb-net/qubiter
github
similar
fregu856/evaluating_bdl
github
similar