sanjoy/pyano sanjoy/pyano

  • Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    Python
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sanjoy/pyano
github

sanjoy

Reviews

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

Repository Details

A formalization of first-order logic and Peano's axioms in Python

More Repositories

1

DietLISP

Toy lisp interpreter / PLT playground
Haskell
39
star
2

CmdArgs

Painless command line argument parsing in C.
C
23
star
3

echoes

Haskell
21
star
4

bfjit

Lua
17
star
5

Snippets

Haskell
13
star
6

L

A Small Evaluator for Untyped Lambda Calculus
C
7
star
7

comdat-ipo

C++
2
star
8

mod

C++
1
star
9

llvm-tutorial-code

LLVM
1
star
10

AIMA

Artificial Intelligence: A Modern Approach
Haskell
1
star
11

auto-clustering-presentation

TeX
1
star
12

impossible-programs

http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/ in C++
C++
1
star
13

eelish

n00b programming without locks
C++
1
star