• Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    OCaml
  • License
    ISC License
  • Created about 3 years ago
  • Updated about 3 years ago

Reviews

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

Repository Details

🧊 Ant: A New TeX

More Repositories

1

fs

📁 FS: Windows, Linux, Mac Driver
Erlang
225
star
2

active

♾️ ACTIVE: Filesystem Activities
Erlang
66
star
3

avz

🔑 AVZ: Social Authorization
Erlang
41
star
4

gxemul

GXemul MIPS/ARM/SH/PPC/M88K emulator
C++
19
star
5

mq-nynja

💠 EMQ: N2O over MQTT for NYNJA 1.0
HTML
15
star
6

valery

🧊 Система типів HoTT-I з дефініціальним Path-β
OCaml
14
star
7

wylie

Wylie UTF-8 Transcoder
Erlang
13
star
8

DependentLinearPi

A Dependently Typed Linear π-Calculus in Agda
Agda
13
star
9

a64

A64: ARM64 Assembler for Erlang
Erlang
11
star
10

5HT

Namdak Tonpa Personal Journal
HTML
5
star
11

nying.ma

Nyingma Digital Library
HTML
5
star
12

tcp

Simple TCP Server
Erlang
5
star
13

agda-nr-cats

(n,r)-categories in agda
Agda
4
star
14

streams

Abstract Stream Recording
Erlang
4
star
15

kvstore

a fast kvstore based on spdk programing framework
C
4
star
16

formal.uno-private

🧊 Перша Формальна Система
TeX
3
star
17

pub

🙏🏻 Digital Library Publishing System
Erlang
2
star
18

tcp.echo

F# N2O
F#
2
star
19

xt

Binary Editor
C
2
star
20

.emacs

My tiny .emacs file and emacs.d tree
Emacs Lisp
2
star
21

minitt

♾ Mini-TT: minimalistic ΠΣ-prover
Haskell
2
star
22

pdp11asm

Assembler+C for PDP11 and KR1801VM1 (КР1801ВМ1 - БК0010, БК0011, УКНЦ) and also Intel 8080A
C++
2
star
23

5ht.cx.ua

Марки України
HTML
2
star
24

longchenpa.guru

HTML
1
star
25

nynpo

Nynpo Telegram Bot
Erlang
1
star
26

qdate

QDATE
Erlang
1
star
27

pie-editor

Erlang
1
star
28

msx

MSX DEPOT
C
1
star
29

mumps

Automatically exported from code.google.com/p/gtmdarwin
C
1
star
30

topology

Topology and Homotopy
Coq
1
star
31

eslang

Erlang S-Lang Binding
Erlang
1
star
32

vaio

VAIO PC
HTML
1
star
33

dnssec

DNSSEC: Library
Erlang
1
star
34

bertrand

🧊 Metamath система
OCaml
1
star
35

cos

💠 COS: China Ocean Shipping
Erlang
1
star
36

remote

N2O Remote Protocol
Erlang
1
star