martinra

Pinned Repositories

AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
Language:Julia00
facileLLM.nvim
LLM interface for NeoVim
Language:Lua50
flint2
FLINT (Fast Library for Number Theory)
Language:C00
gitsigns.nvim
Git integration for buffers
Language:Lua0 1 00
Hecke.jl
Computational algebraic number theory
Language:Julia0 2 00
hflint
Language:Haskell7 7 22
hlinear
Language:Haskell10 8 21
hycu
Language:C++30
natural-test
Language:Haskell1 4 02
Nemo.jl
Julia bindings for various mathematical libraries (including flint2)
Language:Julia0 3 00

martinra's Repositories

martinra/hlinear
Language:Haskell10 8 21
martinra/hflint
Language:Haskell7 7 22
martinra/facileLLM.nvim
LLM interface for NeoVim
Language:Lua50
martinra/hycu
Language:C++30
martinra/natural-test
Language:Haskell1 4 02
martinra/AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
Language:Julia00
martinra/flint2
FLINT (Fast Library for Number Theory)
Language:C00
martinra/gitsigns.nvim
Git integration for buffers
Language:Lua0 1 00
martinra/Hecke.jl
Computational algebraic number theory
Language:Julia0 2 00
martinra/Nemo.jl
Julia bindings for various mathematical libraries (including flint2)
Language:Julia0 3 00
martinra/QuickTest.jl
QuickCheck implementation for Julia
Language:Julia
martinra/smallcheck
smallcheck: test your Haskell code by exhaustively checking its properties
Language:Haskell
martinra/texlab
An implementation of the Language Server Protocol for LaTeX
Language:Rust1 0
martinra/tree-sitter-latex
LaTeX grammar for tree-sitter
martinra/Yggdrasil
Collection of builder repositories for BinaryBuilder.jl
Language:Julia