Soares/cantor.hs Soares/cantor.hs

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Soares/cantor.hs
github

Soares

Reviews

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

Repository Details

Implementation of an ordinal notation (up to about the large Veblen ordinal) and some fast-growing functions.

More Repositories

1

base16.nvim

Base16 colors for neovim
Vim Script
42
star
2

butane.vim

Light your buffers up
Vim Script
20
star
3

write.vim

Get your author on
Vim Script
15
star
4

myelin

A controller for Backbone, linking Models to Views
JavaScript
11
star
5

fractals

Python fractals
Python
9
star
6

longline.vim

Avoid long lines
Vim Script
7
star
7

Randometer.hs

A set of games that help you calibrate your intuition for randomness.
Haskell
6
star
8

smarttab.vim

Tabs for indentation, spaces for alignment.
Vim Script
5
star
9

fish.vim

Vim files for the friendly interactive shell
Vim Script
4
star
10

mindingourway.theme

A modified version of the Casper ghost theme for MindingOurWay.com
CSS
3
star
11

Storyteller.hs

Tell stories.
Haskell
3
star
12

hisp

HTML generator. Lisp syntax. Django integration.
Python
3
star
13

config.fish

Fish shell configuration files
Shell
3
star
14

simplifience.com

Simplified Science
JavaScript
3
star
15

python.vim

A fork of python_fn.vim with changed key bindings
Vim Script
2
star
16

soares.github.com

Less
2
star
17

Dangerous.hs

Handles computations that can exit early and log warnings
Haskell
2
star
18

natesoares.com

My personal website
JavaScript
2
star
19

Dater.hs

Support for non-Gregorian dates and times
Haskell
2
star
20

rainbow.vim

Clone of http://bitbucket.org/sjl/dotfiles/src/tip/vim/bundle/rainbow/, mod of http://www.vim.org/scripts/script.php?script_id=1561, not a vba
Vim Script
2
star
21

trailguide.vim

Navigate past trailing whitespace
Vim Script
1
star
22

playground

The place where code goes to be born. (Maybe I should rename it to 'womb'?)
1
star
23

Bookbuilder

Tool to compile a structured directory into a book
Haskell
1
star
24

config

Miscellaneous dotfiles & configurations
Python
1
star
25

graveyard

Where good code goes to die.
HTML
1
star
26

Sudoku

Sudoku solver (AI homework)
Clojure
1
star
27

Limit.hs

Haskell data type to handle potentially unbounded data
Haskell
1
star
28

tabdiff.vim

Diff differently
Vim Script
1
star
29

galcon

AI for the google planetwars competition
Python
1
star
30

mindingourway.com

The source of MindingOurWay, my blog.
JavaScript
1
star
31

Focus.hs

A data type for haskell useful for manipulating locus points in rose trees
Haskell
1
star
32

physics

A mishmash of tools for simulating and visualizing physical systems (Lagrangians, phase spaces, etc.)
JavaScript
1
star
33

Green-Primer

Tools to build a greener building
JavaScript
1
star
34

tagwiki

A flexible put powerful wiki system for keeping track of books (in vim)
Haskell
1
star