tildedave/rust-number-theory tildedave/rust-number-theory

  • Stars
    star
    1
  • Language
    Rust
  • License
    MIT License
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tildedave/rust-number-theory
github

tildedave

Reviews

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

Repository Details

Implementing algorithms from A Course In Computational Algebraic Number Theory

More Repositories

1

universal-react-without-node

Examples of Universal React without a Node.js Backend
M4
47
star
2

flux-feature-flags

Demo of using Flux for Feature Flag Awesomeness
JavaScript
39
star
3

docker-nightwatch-xvfb

Dockerfiles for Nightwatch.js and Xvfb
16
star
4

jasmine-mocks

Mock library for JavaScript using Jasmine spies (DON'T USE)
JavaScript
14
star
5

apep-chess-engine

Chess engine that I hacked up in grad school
C++
3
star
6

ra-chess-engine

Golang chess engine I'm hacking up
Go
3
star
7

cloudfiles-manager

Browser-based manager for Rackspace Cloud Files
JavaScript
3
star
8

init.el

My .emacs directory
Emacs Lisp
3
star
9

jlift

JLift code analyzer -- add annotations to Java programs, output the information flows
Java
2
star
10

primitive-recursive-peano

Unfinished implementation of a primitive recursive encoding of the theory of Peano arithmetic.
Haskell
2
star
11

greenbar

Python TDD Server
JavaScript
2
star
12

siggen

Determine the external library dependencies of a Java project; uses Cornell's Polyglot Java parser/translater.
Java
2
star
13

deploybot

Deploy engine I wrote to push code from Atlassian's Bamboo for a legacy app
JavaScript
2
star
14

jlift-frontend

JLift code analyzer frontend -- convert code into a 'known' syntax, strip comments, fix various ugliness, etc
Java
1
star
15

rfc1035-clojure

DNS implementation in Clojure
Clojure
1
star
16

restmock

Mock RESTful server for serving mostly static content for testing clients
Clojure
1
star
17

simp-lemon

Rewrite of Simp in C++ using Lemon graph framework (Thesis Program)
1
star
18

simp

OCaml graph processing: minimum cut and dominator calculation (Thesis Program)
1
star
19

cassandra-flask-sessions

Cassandra Session Backend for Flask
Python
1
star
20

git-learning

1
star
21

go-finite-fields

Finite field stuff in golang
Go
1
star
22

coq-playground

Trying to improve at Coq
Coq
1
star
23

go-http2-impl

Learning Go, implementing HTTP 2.0
Go
1
star
24

tildedave.com

My blog at tildedave.com
HTML
1
star
25

react-router-lightboxes

UI State Demo with react-router
JavaScript
1
star
26

httpmock.js

mock HTTP server, specified by a DSL, written in node.js
JavaScript
1
star
27

ancient-qbasic-games

QBasic Games from Junior High
1
star
28

go-hashtables

Some hash table implementations in golang
Go
1
star
29

QuickReturnDemo

Demo of quick return pattern for iOS
Swift
1
star