AtnNn/isabelle-learn AtnNn/isabelle-learn

  • Stars
    star
    2
  • Language Isabelle
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AtnNn/isabelle-learn
github

AtnNn

Reviews

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

Repository Details

More Repositories

1

rethinkdb-stream

Proof of concept for streaming binary data using RethinkDB changes
Python
139
star
2

librethinkdbxx

RethinkDB driver for C++
C++
98
star
3

haskell-rethinkdb

RethinkDB client library for Haskell
Haskell
93
star
4

rethinkdb-webui

Stand alone Web UI for RethinkDB
JavaScript
10
star
5

tomy

Tomy, a prolog bot for IRC
Prolog
8
star
6

twitch-stream

Helper scripts for live coding on Twitch
Shell
8
star
7

haxpuck

HaxBall Stadium Editor
JavaScript
6
star
8

Theremin

C
3
star
9

codejam

Haskell
2
star
10

cabal-ghci

cabal-ghci
Haskell
2
star
11

atnnn.com

My blog
CSS
2
star
12

him-cellwriter

Cellwriter handwriting input plugin for N900
C
1
star
13

basilica-test

Image recognition playground
JavaScript
1
star
14

degu

Haskell
1
star
15

uint_mersenne

C++ unsigned integers with undefined overflow
C++
1
star
16

mars

Explore mars
JavaScript
1
star
17

forestadventure

Forest Adventure
JavaScript
1
star
18

type

Haskell
1
star
19

persistent-rethinkdb

Haskell
1
star
20

node-protobuf

C++
1
star