jjgarzella
I am a Math PhD Student at UCSD. I started off programming iOS Apps in Objective-C, and I'm a huge fan of Swift, Julia, and Rust.
jjgarzella's Stars
JuliaLang/julia
The Julia Programming Language
phil-opp/blog_os
Writing an OS in Rust
JohnSundell/Publish
A static site generator for Swift developers
xotahal/react-native-material-ui
Highly customizable material design components for React Native
lifting-bits/mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
nebulet/nebulet
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
leanprover-community/mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
smackers/smack
SMACK Software Verifier and Verification Toolchain
vellvm/vellvm
The Vellvm (Verified LLVM) coq development.
radii/msieve
msieve - Number Field Sieve implementation by Jason Papadopoulos
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
llvm-mirror/llgo
Mirror of official llgo git repository located at http://llvm.org/git/llgo. Updated every five minutes. http://llvm.org/svn/llvm-project/llgo/trunk/README.TXT
bzhan/holpy
Implementation of higher-order logic in Python
linbox-team/fflas-ffpack
FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
rfourquet/BitIntegers.jl
Fixed-width integers similar to builtin ones
geky/gf256
A Rust library containing Galois-field types and utilities
saiedhk/GaloisCPP
GaloisCPP: C++ Library for General Galois Field Arithmetic
edgarcosta/hilbertmodularforms
Mockup implementation of Hilbert Modular Forms
Jorl17/jOS
leanprover-community/liquid
Website and documentation for the Liquid Tensor Experiment
JuliaEmbedded/DynamicScheduling.jl
Dynamically scheduling Julia code for HLS
JuliaEmbedded/SSATools.jl
A package for manipulating the Julia typed IR
edgarcosta/ToricControlledReduction
JonahWeinbaum/cubic-fourfolds