-
-
acornlib Public
Forked from acornprover/acornlibAcorn's standard library of mathematical facts.
Shell Apache License 2.0 UpdatedNov 22, 2025 -
-
-
spla-repo Public
A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
-
-
SimpleProver Public
A (very tiny) formal verification mini-PL thing for basic Peano arithmetic, built on top of Julia's type system
-
zoda-livestream Public
A basic implementation of ZODA using CryptoUtilities.jl, done on a livestream
-
-
-
-
-
-
-
wasm4 Public
Forked from aduros/wasm4Build retro games using WebAssembly for a fantasy console.
TypeScript ISC License UpdatedJun 5, 2022 -
pymde Public
Forked from cvxgrp/pymdeMinimum-distortion embedding with PyTorch
Python Apache License 2.0 UpdatedApr 28, 2022 -
-
-
guille.site Public
The entirety of the build environment for my blog.
-
-
collision-avoidance Public
Sample code for "Fast Reciprocal Collision Avoidance Under Measurement Uncertainty"
-
-
LinRegOutliers Public
Forked from jbytecode/LinRegOutliersDirect and robust methods for outlier detection in linear regression
Julia MIT License UpdatedDec 2, 2020 -
FDFD.jl Public
Forked from fancompute/FDFD.jlPure Julia implementation of the finite difference frequency domain (FDFD) method for electromagnetics
Jupyter Notebook MIT License UpdatedJul 17, 2020 -
FDFDViz.jl Public
Forked from fancompute/FDFDViz.jlVisualization and plotting helper functions for FDFD.jl
Julia MIT License UpdatedJul 17, 2020 -
cvxpy Public
Forked from cvxpy/cvxpyA Python-embedded modeling language for convex optimization problems.
-
-
-
julia Public
Forked from JuliaLang/juliaThe Julia Language: A fresh approach to technical computing.
Julia Other UpdatedApr 28, 2020 -
diffcp Public
Forked from cvxgrp/diffcpDifferentiation through cone programs
Python Apache License 2.0 UpdatedDec 11, 2019
{{ message }}