dagit/proctor dagit/proctor

  • Stars
    star
    1
  • Language
    Rust
  • License
    BSD 3-Clause "New...
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dagit/proctor
github

dagit

Reviews

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

Repository Details

A simple proof of concept HTTP proxy

More Repositories

1

rust-prolog

Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
Rust
80
star
2

happy-plus-alex

Template for quickly and easily combining happy and alex
Logos
49
star
3

nehe-tuts

OpenGL NeHe tutorials converted to Haskell
Haskell
36
star
4

Cyclone-Language

My branch of the Cyclone programming language
C
18
star
5

language-fortran

Haskell parser and manipulation functions for Fortran code
Bison
17
star
6

freetype2

My personal branch of the freetype2 source code
C
16
star
7

annelid

Speedrun timer with autosplitter for fxpak/sd2snes
Rust
15
star
8

hs6502

Pure Haskell Emulator for the 6502 CPU
Haskell
9
star
9

logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
Haskell
9
star
10

haray

Haskell-based ray tracer
Haskell
8
star
11

zenc

GHC's Core name mangling (Z-Encoding)
Haskell
5
star
12

dotfiles

My configuration files like ~/.zshrc, ~/.vimrc, etc.
Emacs Lisp
5
star
13

1GAM

My public attempts at the one game a month challenge
Haskell
4
star
14

physics

Physics engine in Haskell
Haskell
4
star
15

rust-monads

Just a playground for me to try out different monad related things in Rust
Rust
3
star
16

edit-patterns

Haskell
3
star
17

dagit.github.io

my github pages
Haskell
3
star
18

helisp

Elisp compiler
Haskell
3
star
19

7drl2017

Haskell
2
star
20

agda

Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can be found at http://code.haskell.org/Agda.
Haskell
2
star
21

streamgraph

Create nice stream graphs from a set of data points.
Haskell
2
star
22

snippet-extractor

Extract labeled snippets of code and puts them in separate files.
Haskell
2
star
23

lin-alg

Haskell library for low-dimensional linear algebra, especially graphics and physics numeric calculations
Haskell
2
star
24

boab

boab, obstensibly a b-tree, is a Haskell B+ tree implementation.
Haskell
2
star
25

missing-foreign

Convenience functions for FFI work in Haskell
Haskell
2
star
26

paragraphids

A small utility to give named ids to paragraph tags in html files
Haskell
2
star
27

rust-2d-demo

Rust
2
star
28

autoproc

Autoproc is a utility/language for email filtering. Autoproc makes it easy to define filtering rules. The rules define a Haskell program, that when executed generates a valid Procmail recipes file. This file can then be used with Procmail to sort and filter your email before you see it.
Haskell
2
star
29

roguelike-old

Some code I once wrote to generate 2d maps for a roguelike. All in C++.
C++
1
star
30

grid2-als

Extensions to CAS to enable Account Linking Service
Java
1
star
31

matrix-marks

Micro benchmarks for matrix and vector computations.
Haskell
1
star
32

cabal-quirk

buggy cabal file
Haskell
1
star
33

mm2tracker

Mega man 2 randomizer tracker
Rust
1
star
34

mizar-parser

Haskell parser for Mizar
Haskell
1
star
35

PurePong

PureScript pong implementation
JavaScript
1
star
36

linebreak-text

Simple functions to break a Text to fit a maximum text width, using Knuth-Liang hyphenation algorhitm. Based on the linebreak package by Francesco Ariis.
Haskell
1
star
37

HTML5CanvasExamples

Examples from the book 'Core HMTL5 Canvas' by David Geary
JavaScript
1
star
38

ztee

Implementation of tee that produces compressed file output.
Rust
1
star
39

emu-test

timing different ways to implement a cycle accurate emulator
Rust
1
star
40

goofgenie

A game genie-like tool for SNES that uses the usb2snes protocol to edit memory
Rust
1
star