Pinned Repositories
AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
bsdnt
BSD Licensed Bignum Library
Cesium3
Fast interpreter with macros, local type inference, LLVM backend.
CGAGraphics
Various CGA Graphics code
comb
Combinators in C
mach8blitter
Code for the ATI Mach 8 (IBM 8514/A compatible) blitter
mpir
Multiple Precision Integers and Rationals
Nemo.jl
My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl
PCRetroProgrammer
Singular.jl
Julia package for the Singular library
wbhart's Repositories
wbhart/bsdnt
BSD Licensed Bignum Library
wbhart/mpir
Multiple Precision Integers and Rationals
wbhart/Cesium3
Fast interpreter with macros, local type inference, LLVM backend.
wbhart/Nemo.jl
My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl
wbhart/AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
wbhart/CGAGraphics
Various CGA Graphics code
wbhart/Singular.jl
Julia package for the Singular library
wbhart/PCRetroProgrammer
wbhart/mach8blitter
Code for the ATI Mach 8 (IBM 8514/A compatible) blitter
wbhart/ellipse
Ellipse code for PCRetroTech video
wbhart/crtc
wbhart/ShortMathNotes
Math notes with abbreviated proofs
wbhart/Hecke.jl
wbhart/Polymake.jl
Polymake interface from Julia
wbhart/russell
Automated mathematician
wbhart/OpenDreamKit.github.io
Sources for OpenDreamKit's website
wbhart/PixelTex
An archive of a procedural texture generator I wrote in 2005
wbhart/Sources
sources for the Singular computer algebra system
wbhart/types_in_julia
Types in Julia pynb slides
wbhart/gofai
Python scripts to rapidly iterate on gofai ideas
wbhart/Documenter.jl
A documentation generator for Julia.
wbhart/fungrim
Fungrim: the Mathematical Functions Grimoire
wbhart/gapdays2017-fall
GAP Days Fall 2017 in Siegen
wbhart/human-style-atp
wbhart/InferenceBug1
wbhart/issac2017
Paper on Nemo/Hecke for ISSAC 2017
wbhart/MultivariateBenchmarks2019
wbhart/oscar-website
Dev repo for the oscar website
wbhart/Oscar.jl
wbhart/ProofDroid