pthariensflame

Laine Taffin Altman's repositories

primesieve.rs

Rust bindings to [primesieve](http://primesieve.org)

Language:Rust7 30

salmagundi

A tool to rewrite data type definitions to rearrange in-memory layout.

Language:RustApache-2.07 3 1

pygments-maude

Pygments lexers for Maude, both batch and interactive.

Language:PythonMIT3 30

concurrent-equality-saturation

Equality Saturation for Concurrent Systems (code and report)

Language:Rust2 50

difference_engine

DEng—an extensible language-aware diff

Language:RustApache-2.01 30

konane

A library and executable for the ancient Polynesian game kōnane

Language:RustApache-2.01 30

libxdfr

Parser and utility code for the general-purpose “XDFR” format.

Language:RustApache-2.01 30

bnfc

BNF Converter

Language:TeX030

cheats.rs

Rust Language Cheat Sheet - https://cheats.rs

Language:CSS030

cless

Maintainance fork

Language:HaskellMIT030

conrod

An easy-to-use, 2D GUI library written entirely in Rust.

Language:RustNOASSERTION030

const-concat

Heinous hackery to concatenate constant strings.

Language:Rust030

dhall-lang

Maintainable configuration files

Language:DhallBSD-3-Clause020

docs.julialang.org

Repository for hosting the manual for the Julia language

Language:Julia020

frunk

Funktional generic programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Language:RustMIT030

homebrew-extras

Additional recipes for use by brew.

Language:Ruby020

homebrew-versions

:1234: Versioned formulae for the Homebrew package manager

NOASSERTION030

HoTT-Agda

Development of homotopy type theory in Agda

Language:AgdaNOASSERTION030

HyperDualNumbers.jl

Julia implementation of HyperDualNumbers

Language:JuliaNOASSERTION030

IJulia.jl

Julia kernel for Jupyter

Language:JuliaMIT020

JuliaCall

Embed Julia in R

Language:RNOASSERTION020

melo

A music notation language and compiler to MIDI.

Language:RustMIT030

patat

Terminal-based presentations using Pandoc

Language:HaskellGPL-2.0030

Pkg.jl

Pkg - package manager for the Julia language

Language:JuliaNOASSERTION020

PkgDev.jl

Tools for Julia package developers

Language:JuliaNOASSERTION020

pythontex

A LaTeX package that allows Python code entered within a TeX document to be executed, and the output to be included in the original document.

Language:Python030

rfcs

RFCs for changes to Rust

Language:ShellApache-2.0030

tokei

A program that allows you to count code, quickly.

Language:RustNOASSERTION030

unicode-math

Package for using unicode/OpenType maths fonts in XeLaTeX & LuaLaTeX

Language:TeXLPPL-1.3c030

yeppp.rs

Rust wrapper for [Yeppp!](http://www.yeppp.info)

Language:HTML030