creichen/bootalog creichen/bootalog

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
creichen/bootalog
github

creichen

Reviews

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

Repository Details

Datalog implementation in OCaml

More Repositories

1

castellan

Castellan: org-mode agenda, activity, and calendar tracking
Emacs Lisp
5
star
2

attovm

Optimising VM / Just-In-Time compiler for a small teaching language
C
5
star
3

amber-remix

Code for extracting and viewing data from the classic Thalion game Amberstar (Amiga version)
Rust
4
star
4

ringbuf

Simple channel-based ring buffer implementation for Go
Go
1
star
5

teal

Java
1
star
6

papi-java

PAPI bindings for Java based on Vojtech Horky's code
Java
1
star
7

org-agenda-evolution

Connect org-agenda to the Gnome Evolution calendar server
Python
1
star
8

binpatch

Binary file patching program
C
1
star
9

aware

Custom scriptable notification window that doesn't grab focus and plays nicely with tiling WMs
Python
1
star