Block or Report
Block or report olynch
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
scientific-fhs Public
A nixos FHS for julia and conda, and possibly other scientific tools
-
quiver Public
Forked from varkor/quiverA modern commutative diagram editor for the web.
JavaScript MIT License UpdatedMay 23, 2024 -
makepad Public
Forked from makepad/makepadMakepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
WebAssembly MIT License UpdatedMay 17, 2024 -
-
bunnycdn-cli Public
Forked from DKFN/bunnycdn-cliAn unofficial CLI for the BunnyCDN provider
TypeScript MIT License UpdatedFeb 29, 2024 -
-
-
HappyLittleTrees.jl Public
A repo for me to experiment with trees in Julia
-
-
-
-
nvim_config Public template
Forked from AstroNvim/user_exampleAn example user configuration with a split up structure
Lua UpdatedAug 4, 2023 -
-
-
ForumMagnum Public
Forked from ForumMagnum/ForumMagnumThe development repository for LessWrong2 and the EA Forum, based on Vulcan JS
TypeScript GNU General Public License v3.0 UpdatedFeb 6, 2023 -
ASKEM_Evaluation_Staging Public
Forked from ChrisRackauckas/ASKEM_Evaluation_StagingJulia UpdatedFeb 1, 2023 -
EasyModelAnalysis.jl Public
Forked from SciML/EasyModelAnalysis.jlHigh level functions for analyzing the output of simulations
Julia MIT License UpdatedJan 27, 2023 -
-
-
-
-
-
-
Linkage.jl Public
A library for linkages in Julia
-
-
-
nixos-flake-error Public
A minimum (non)-working example of a bug/confusion I'm having
Nix UpdatedNov 13, 2022 -
Catlab.jl Public
Forked from AlgebraicJulia/Catlab.jlA framework for applied category theory in the Julia language
-
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedOct 18, 2022 -
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedOct 10, 2022