wbhart

Pinned Repositories

AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
Language:Julia55 5 66
bsdnt
BSD Licensed Bignum Library
Language:C232 12 1526
Cesium3
Fast interpreter with macros, local type inference, LLVM backend.
Language:C162 32 110
CGAGraphics
Various CGA Graphics code
Language:Assembly27 5 04
comb
Combinators in C
Language:C38 4 04
mach8blitter
Code for the ATI Mach 8 (IBM 8514/A compatible) blitter
Language:C12 4 01
mpir
Multiple Precision Integers and Rationals
Language:Assembly225 20 242136
Nemo.jl
My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl
Language:Julia99 9 023
PCRetroProgrammer
Language:Assembly18 4 05
Singular.jl
Julia package for the Singular library
Language:Julia20 6 160

wbhart's Repositories

wbhart/bsdnt
BSD Licensed Bignum Library
Language:C232 12 1526
wbhart/mpir
Multiple Precision Integers and Rationals
Language:Assembly225 20 242136
wbhart/Cesium3
Fast interpreter with macros, local type inference, LLVM backend.
Language:C162 32 110
wbhart/Nemo.jl
My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl
Language:Julia99 9 023
wbhart/AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
Language:Julia55 5 66
wbhart/CGAGraphics
Various CGA Graphics code
Language:Assembly27 5 04
wbhart/Singular.jl
Julia package for the Singular library
Language:Julia20 6 160
wbhart/PCRetroProgrammer
Language:Assembly18 4 05
wbhart/mach8blitter
Code for the ATI Mach 8 (IBM 8514/A compatible) blitter
Language:C12 4 01
wbhart/ellipse
Ellipse code for PCRetroTech video
Language:Assembly52
wbhart/crtc
Language:Assembly3 5 0
wbhart/ShortMathNotes
Math notes with abbreviated proofs
Language:TeX3 2 0
wbhart/Hecke.jl
Language:Julia2 3 0
wbhart/Polymake.jl
Polymake interface from Julia
Language:Julia2 4 02
wbhart/russell
Automated mathematician
Language:Python2
wbhart/OpenDreamKit.github.io
Sources for OpenDreamKit's website
Language:JavaScript1 3 0
wbhart/PixelTex
An archive of a procedural texture generator I wrote in 2005
Language:C1 3 0
wbhart/Sources
sources for the Singular computer algebra system
Language:C++1 2 0
wbhart/types_in_julia
Types in Julia pynb slides
Language:Jupyter Notebook1 3 0
wbhart/gofai
Python scripts to rapidly iterate on gofai ideas
Language:Python0 3 02
wbhart/Documenter.jl
A documentation generator for Julia.
Language:CSS2 0
wbhart/fungrim
Fungrim: the Mathematical Functions Grimoire
Language:Python2 0
wbhart/gapdays2017-fall
GAP Days Fall 2017 in Siegen
Language:HTML
wbhart/human-style-atp
Language:CSS2 0
wbhart/InferenceBug1
Language:Julia2 0
wbhart/issac2017
Paper on Nemo/Hecke for ISSAC 2017
Language:TeX5
wbhart/MultivariateBenchmarks2019
wbhart/oscar-website
Dev repo for the oscar website
Language:CSS3 0
wbhart/Oscar.jl
Language:Julia2 0
wbhart/ProofDroid
Language:JavaScript