teg/terms-talk teg/terms-talk

  • Stars
    star
    1
  • Language
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
teg/terms-talk
github

teg

Reviews

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

Repository Details

More Repositories

1

systemd-arch-units

Arch Linux specific Systemd unit files
Shell
8
star
2

firmwared

Linux Firmware Loader Daemon
C
6
star
3

initscripts-arch

Arch Linux's initscripts
Shell
5
star
4

rpcbind

portmap replacement which supports RPC over various protocols
C
4
star
5

atomic-flows-ii

TeX
3
star
6

thesis

Atomic Flows and Normalisation in Deep Inference
Shell
2
star
7

24months

2
star
8

school

John's Online English School
JavaScript
2
star
9

ceag

Ceag Norge public website
Ruby
2
star
10

mkinitcpio

Shell
2
star
11

classical-logic-with-implication

2
star
12

terms

Atomic Flows for a Simply Typed Term Calculus
Shell
1
star
13

pigeons

Polynomial Proof of the Propositional Pigeon Hole Principle in Deep Inference
1
star
14

initscripts-systemd

Arch Linux initscripts for use with Systemd
Shell
1
star
15

arch-install-scripts

Convenience scripts for installing Arch Linux
Shell
1
star
16

LPAR16

1
star