SuprDewd/agda-translation-method

Stars
7
Rank 2,294,772 (Top 46 %)
Language Agda
Created almost 8 years ago
Updated over 7 years ago

SuprDewd/agda-translation-method

SuprDewd

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

An Agda library for turning equations into bijections using the translation method

T-414-AFLV

T-414-ÁFLV: A Competitive Programming Course

CompetitiveProgramming

A collection of algorithms, data structures and other useful information for competitive programming.

simpletracker

A minimal BitTorrent tracker written in PHP

asciimath

asciimath is a simple command-line tool for displaying math equations as ascii art.

SharpBag

A generic .NET toolbox library.

unfolder

Automated tool for discovering hidden files and directories hosted on HTTP servers

states

states is a utility for working with NFA, DFA and regular expressions

Chess

A Chess library.

jay

Given initial terms of an unknown generating function F, conjecture a functional equation that F satisfies.

GoogleCodeJamRunner

A wrapper for C++ solutions to Google Code Jam problems

algorithm_x_python

An efficient implementation of Algorithm X in Python

popstacks

Enumerating the k-pop-stack-sortable permutations

kennitala_regex

Creating a regular expression for Icelandic kennitala

Doomsday-Trainer

John Conway's Doomsday algorithm trainer.

Forritunarkeppnin

Dæmi úr Forritunarkeppni Framhaldsskólanna.

NineToFive

NineToFive is a lightweight command-line application for keeping track of work hours

Structurer

Structurer For Windows

GameOfLife

A C# implementation of Conway's Game of Life.

BAMVC

Bad Ass MVC. A school project.

Tutorials

Various tutorials.

BefungeSimulator

A Befunge debugger and editor.

pattern-avoidance-machine

Generate optimized C++ code that checks, for a fixed pattern, if a permutation contains that pattern.

Forritunarkeppnin-2