-
-
graph-library-for-lean4 Public
Forked from PeterKementzey/graph-library-for-lean4Graph algorithms and data structures for Lean 4 with performance benchmarks
-
-
notational-fzf-vim Public
Notational velocity for vim.
-
-
shed Public
Forked from Zac-HD/shed`shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++
Python GNU Affero General Public License v3.0 UpdatedDec 8, 2022 -
thread-twitter Public
Converts Twitter threads to Markdown files with proper reply indentation.
-
mathematica Public
Forked from robertylewis/mathematicaLean-independent implementation of the MM-Lean link
Lean UpdatedNov 20, 2022 -
-
Hyperreals Public
Hyperreal number system implementation and formalization
-
-
-
jaxga Public
Forked from RobinKa/jaxgaGeometric Algebra package for JAX
Python MIT License UpdatedJul 11, 2022 -
ord Public
Forked from ordinals/ordAccounts, NFTs, and collectable satoshis for Bitcoin
Rust Creative Commons Zero v1.0 Universal UpdatedJun 27, 2022 -
geometric_algebra_attention Public
Forked from klarh/geometric_algebra_attentionGeometric algebra attention mechanism for tensorflow, keras, pytorch, and jax
Python MIT License UpdatedJun 24, 2022 -
-
VectorSphericalWaves.jl Public
Forked from mhmodzoka/VectorSphericalWaves.jlCalculate vector spherical waves (M and N), which are solutions for vector wave equation.
Julia MIT License UpdatedNov 9, 2021 -
ddg-exercises Public
Forked from GeometryCollective/ddg-exercisesAssignment skeleton for course on Discrete Differential Geometry (15-458/858)
C++ UpdatedSep 7, 2021 -
DifferentialEquations.jl Public
Forked from SciML/DifferentialEquations.jlMulti-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components
Julia Other UpdatedAug 27, 2021 -
Tmatrix.jl Public
Forked from mhmodzoka/Tmatrix.jlCalculate T-matrix for a particle with arbitrary shape
Julia MIT License UpdatedJul 16, 2021 -
lightspeed.nvim Public
Forked from ggandor/lightspeed.nvimNext-generation motion plugin for incredibly fast on-screen navigation
Lua MIT License UpdatedJun 16, 2021 -
reanimate Public
Forked from reanimate/reanimateHaskell library for building declarative animations based on SVG graphics
Haskell The Unlicense UpdatedMay 10, 2021 -
topgrade Public
Forked from r-darwish/topgradeUpgrade everything
Rust GNU General Public License v3.0 UpdatedMay 4, 2021 -
TropicalGeometry Public
Tropical geometry algorithms where addition becomes min and multiplication becomes addition
Julia UpdatedApr 23, 2021 -
nvim-solarized-lua Public
Forked from ishan9299/nvim-solarized-luasolarized colorscheme in lua for nvim 0.5
Lua UpdatedApr 16, 2021 -
LunarVim Public
Forked from LunarVim/LunarVimA Neovim config made with sane defaults
Lua GNU General Public License v3.0 UpdatedApr 15, 2021 -
nvim-highlite Public
Forked from Iron-E/nvim-highliteA colorscheme template that is "lite" on logic for the developer.
Lua Other UpdatedApr 1, 2021 -
mcfly Public
Forked from cantino/mcflyFly through your shell history. Great Scott!
Rust MIT License UpdatedMar 17, 2021 -
Zygote.jl Public
Forked from FluxML/Zygote.jlIntimate Affection Auditor
Julia Other UpdatedFeb 23, 2021 -
GCN Public
Graph Convolutional Networks for semi-supervised classification on graph data
Julia MIT License UpdatedJan 20, 2021
{{ message }}