bishboria/software-foundations bishboria/software-foundations

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Coq
  • Created about 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bishboria/software-foundations
github

bishboria

Reviews

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

Repository Details

Working through Software Foundations

More Repositories

1

ErgoDox

ErgoDox keyboard configuration
KiCad Layout
212
star
2

learnyouahaskell

Code from Learn You A Haskell book: http://learnyouahaskell.com/
Haskell
17
star
3

hoodlums

Code worked on at London Hoodlums group
Haskell
6
star
4

SICP

working my way through SICP (Wizard book)
Common Lisp
5
star
5

dotfiles

Configuration files
Shell
3
star
6

matchers

Ruby
3
star
7

scheme-specify

A simple testing framework in Scheme
Scheme
3
star
8

vim-globalreplace

Replace all occurences of a word from all files in the current directory and below
Vim Script
3
star
9

automata

Learn me some automata
Ruby
2
star
10

purely-functional-data-structures

Chapter examples and attempted exercises from Chris Okasaki's Purely Functional Data Structures book.
Haskell
2
star
11

inept

Python
2
star
12

game_of_life

Conway's Game of Life
Ruby
1
star
13

rabbitmq-tutorial

Learn me some RabbitMQ with Haskell
Haskell
1
star
14

the-haskell-school-of-expression

Exercises from the book The Haskell School Of Expression
Haskell
1
star
15

2017-10-11-SPLS-talk

Slides for SPLS talk
1
star
16

agda-emacs-macros

macros in elisp for writing literate agda files
Emacs Lisp
1
star
17

outrageous-interpreter

Automatically exported from code.google.com/p/outrageous-interpreter
Coq
1
star
18

screen-read-class

LaTeX class for creating documents with scroll-like pages. Suitable for reading on tablets, etc
TeX
1
star