• This repository has been archived on 19/Aug/2022
  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 8 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

prolog interpreter in ocaml

More Repositories

1

gerb

Graphical font editor (GTK + Rust)
Rust
324
star
2

bb

simple toy process viewer in rust https://crates.io/crates/bb
Rust
223
star
3

bibliothecula

document organizer with tags and full-text-search, in a simple and clean sqlite3 schema
Python
163
star
4

rsqlite3

sqlite3 Rewritten in RiiR Rust 🦀🦀🦀 /s
Rust
157
star
5

rlr

interactive pixel screen ruler and protractor
Rust
59
star
6

nntpserver.py

No-dependency, single file NNTP server library for developing modern, rfc3977-compliant (bridge) NNTP servers.
Python
51
star
7

bitmappers-companion

zine/book about bitmap drawing algorithms and math with code examples in Rust
Rust
46
star
8

vfsstat.rs

Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c
Rust
33
star
9

buke

full text search manpages
Rust
29
star
10

tade

tade is a discussion/forum/link aggregator application. It provides three interfaces: a regular web page, a mailing list bridge and an NNTP server
Python
24
star
11

kitkat

Kit-kat clock utility rewritten in Rust using minifb
Rust
19
star
12

sic

link aggregator community organised by tags (with no javascript)
Python
17
star
13

sqlite-carelink

An sqlite3 schema for glucose sensor readings from Medtronic Minimed Carelink
Python
4
star
14

ChaucerFont

A font based on William Morris' Chaucer typeface from the Kelmscott Chaucer edition
TeX
4
star
15

anatomy-of-melancholy-latex

The 17th century book "The Anatomy Of Melancholy" by Robert Burton typeset with XeLaTeX.
TeX
3
star
16

libssg

static site generation library - make your own static site generator
Rust
2
star
17

iconbar

mirror of http://iconbar.sourceforge.net/
C
1
star
18

fantastic-rust-gtk-adventure

Rust
1
star
19

tony

Rust
1
star
20

qemu-virtio-snd

C
1
star
21

libarmv8

Rust
1
star
22

scrcpy-input.py

scrcpy doesn't support non-ascii (unicode) key input. This tool copies your input to system clipboard and then synchronises it with android's clipboard and pastes it with Alt-v command. Obviously this will overwrite your clipboard contents. Make sure you focus on the text input on the scrcpy window before you attempt to paste. (see README for demo pics)
Python
1
star