Armael/gal Armael/gal

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    OCaml
  • Created about 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Armael/gal
github

Armael

Reviews

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

Repository Details

A simple photo gallery webapp

More Repositories

1

papiers

A tool to index your papers/interesting links/... and quickly search through them
OCaml
49
star
2

pp_loc

Pretty-printing for error source locations
OCaml
36
star
3

ocaml-i3ipc

A pure OCaml implementation of the i3 IPC protocol
OCaml
24
star
4

conch

OCaml
23
star
5

coq-procrastination

A small Coq library for collecting side conditions and deferring their proof
TeX
22
star
6

stone

A simple static website generator, written in OCaml
OCaml
19
star
7

ocaml-wlc

Experimental OCaml bindings for Wlc
OCaml
16
star
8

lam

OCaml
15
star
9

cdcl

OCaml
13
star
10

ocaml-kittyimg

Implementation of kitty's terminal graphics protocol
OCaml
13
star
11

pixels

a shared pixel display controllable via TCP
OCaml
13
star
12

doggybag

take-away binaries
OCaml
12
star
13

ocaml-loliwm

Translation of loliwm (https://github.com/Cloudef/loliwm) in OCaml
OCaml
12
star
14

marracheck

Gotta check them all!
OCaml
10
star
15

ocaml-libudev

Bindings to libudev for OCaml
OCaml
10
star
16

tyxml-translator

A sugar-coated translation from HTML to Tyxml combinators
OCaml
9
star
17

ocaml-nanosvg

NanoSVG + OCaml bindings
OCaml
9
star
18

pong-matelight

A client-server pong game for the Mate-Light
OCaml
8
star
19

jsoo-memgraph-toplevel

OCaml
7
star
20

ocaml-xkbcommon

OCaml bindings to xkbcommon [wip]
OCaml
5
star
21

ocaml-mcwayface

OCaml clone of https://github.com/SirCmpwn/mcwayface
OCaml
5
star
22

reverse-ffi-demo

C
3
star
23

minicooper

A Coq tactic for quantifier elimination in linear arithmetic
Coq
3
star
24

scribouillitest

Mon site Scribouilli
Ruby
3
star
25

menu

OCaml
3
star
26

aoc

OCaml
3
star
27

ocaml-weechat-relay

OCaml
2
star
28

i3-assistant

OCaml
2
star
29

autowt

Use at your own risk
OCaml
2
star
30

gen_js_api_helloworld

Makefile
1
star
31

menu-workspaces

OCaml
1
star
32

mini-bind-mounts

OCaml
1
star
33

BatOptParse_example

An example illustrating the use of BatOptParse for command-line option parsing
OCaml
1
star