Beast code in Giters

martinra's repositories

Language:HaskellGPL-3.010 8 2

Language:HaskellGPL-3.07 7 2

LLM interface for NeoVim

Language:LuaEUPL-1.2400

Language:C++GPL-3.0300

Language:HaskellGPL-2.01 40

Generic abstract algebra functionality in pure Julia (no C dependencies)

Language:JuliaNOASSERTION000

FLINT (Fast Library for Number Theory)

Language:C000

Git integration for buffers

Language:LuaMIT010

Computational algebraic number theory

Language:JuliaBSD-2-Clause020

Julia bindings for various mathematical libraries (including flint2)

Language:JuliaNOASSERTION030

QuickCheck implementation for Julia

Language:JuliaMIT000

smallcheck: test your Haskell code by exhaustively checking its properties

Language:HaskellNOASSERTION000

An implementation of the Language Server Protocol for LaTeX

Language:RustGPL-3.0010

LaTeX grammar for tree-sitter

MIT000

Collection of builder repositories for BinaryBuilder.jl

Language:JuliaNOASSERTION000