andrejbauer/jurij andrejbauer/jurij

  • Stars
    star
    2
  • Language
    Python
  • License
    BSD 2-Clause "Sim...
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andrejbauer/jurij
github

andrejbauer

Reviews

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

Repository Details

A simple Python application for drawing graphs, useful for teaching and experiments.

More Repositories

1

plzoo

Programming Languages Zoo
OCaml
1,420
star
2

homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
TeX
271
star
3

spartan-type-theory

Spartan type theory
OCaml
245
star
4

marshall

Real number computation software
OCaml
114
star
5

Homotopy

Homotopy theory in Coq.
Verilog
90
star
6

coop

A prototype programming language for programming with runners
OCaml
87
star
7

alg

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
OCaml
83
star
8

notes-on-realizability

Lecture notes on realizability
TeX
62
star
9

what-is-algebraic-about-algebraic-effects

TeX
46
star
10

mathematics-and-computation

Andrej Bauer's blog "Mathematics and Computation"
Mathematica
44
star
11

dedekind-reals

A formalization of the Dedekind reals in Coq
Coq
41
star
12

social-distancing-simulator

An artificial simulation of social distancing in the time of an epidemic.
HTML
29
star
13

clerical

Command-like expressions for real infinite-precision calculations
OCaml
20
star
14

miniLCF

A bare-bones LCF-style proof assistant
OCaml
20
star
15

higher-rank-syntax

Agda
16
star
16

simple-random-art

A simple implementation of Random art in Python. Suitable for teaching and experiments.
Python
15
star
17

repl-in-browser

Implementation of a language interpreter in the browser, using js_of_ocaml.
OCaml
15
star
18

mathematical-stories

Mathematical stories
13
star
19

kmeans

A demonstration of Ocaml modules & functors for machine learning.
OCaml
11
star
20

rz

A tool for automatic generation of specifications based on realizability theory
TeX
9
star
21

hydra

The combinatorial Hydra game
Java
9
star
22

zeroes

Programs for computing beautiful pictures and animations of zeroes of polynomials.
Python
8
star
23

dependent-type-theory-syntax

An Agda formalization of raw syntax for dependent type theory
Agda
7
star
24

ppj-skripta

Zapiski pri predmetu Principi programskih jezikov
OCaml
7
star
25

ucbenik-logika-in-mnozice

Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani
TeX
6
star
26

slack-to-discord

Transfer Slack archives to a Discord server on a per-channel basis
Python
5
star
27

costa-surface

Triangulation of Costa's minimal surface with normals, suitable for PovRay rendering
Python
5
star
28

lvr-sat

SAT solver (for teaching purposes in the course Logic in computer science)
OCaml
5
star
29

lvr-coq

Coq related material for the Logic in computer science course
Coq
4
star
30

lean2sexp

Convert Lean .olean files to s-expressions
Lean
3
star
31

the-daily-algebra

The daily algebra fact.
3
star
32

backup

Remote backups using ssh and rsync.
Perl
2
star