brendanzab/algebra brendanzab/algebra

  • Stars
    star
    60
  • Rank 503,336 (Top 10 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created almost 11 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
brendanzab/algebra
github

brendanzab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Abstract algebra for Rust (still very much a WIP!)

More Repositories

1

codespan

Beautiful diagnostic reporting for text-based programming languages.
Rust
1,088
star
2

gl-rs

An OpenGL function pointer loader for Rust
Rust
677
star
3

approx

Approximate floating point equality comparisons and assertions
Rust
149
star
4

language-garden

A garden of small programming language implementations 🪴
OCaml
112
star
5

rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records
Rust
87
star
6

moniker

Automagical variable binding library for Rust
Rust
63
star
7

color-rs

A library that provides types and conversions for working with various color formats.
Rust
45
star
8

ocaml-flake-example

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
Nix
40
star
9

chronicle

An event sourced CQRS framework for Rust
Rust
37
star
10

open.gl-tutorials

DEPRECATED
Rust
17
star
11

rusp

A minimal scripting and data language for Rust.
Rust
16
star
12

sax-rs

DEPRECATED - use https://github.com/netvl/rust-xml/ instead.
Rust
12
star
13

elm-stlc

Bidirectional type checker for the simply typed lambda calculus
Elm
12
star
14

bullet-rs

Bindings and wrapper for the Bullet physics C API.
Rust
9
star
15

mia-lang

A little concatenative language
Rust
7
star
16

vscode-mercury

Mercury language integration for VSCode
4
star
17

rust-visitors

Experimenting with visitors in Rust
Rust
3
star
18

glfwvbo

D
3
star
19

odyssey-engine-old

An experimental game engine written in D.
D
3
star
20

idris-power-of-pi

Parts of The Power of Pi, implemented in Idris
Idris
3
star
21

ieee754-rs

IEEE 754-2008 floating point arithmetic for Rust (WIP)
Rust
2
star
22

efl-rs

Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.
Rust
2
star
23

lean_tutorial_exercises

Answers to the exercises in the Lean tutorial
Lean
2
star
24

hedge

Indexed based half-edge mesh implementation
Rust
1
star
25

nixpkgs

My personal Nix configuration
Nix
1
star
26

rust-bay-area-2014-06

Demo OpenGL code from the Rust Bay Area meetup on Game Tech.
Rust
1
star
27

sdl2-rs

Rust bindings and wrapper for SDL2 (Incomplete!)
Rust
1
star