voodoos/ocamix voodoos/ocamix

  • Stars
    star
    10
  • Rank 1,750,389 (Top 36 %)
  • Language
    OCaml
  • License
    GNU Affero Genera...
  • Created 6 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
voodoos/ocamix
github

voodoos

Reviews

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

Repository Details

More Repositories

1

merlin-js

OCaml
11
star
2

mlts

Prolog
11
star
3

ElpIDE

OCaml
8
star
4

bs-semantic-ui-react

Bucklescript bindings for Semantic UI React
OCaml
6
star
5

elpi-js

JS binders and tools to interact with the Elpi lambda-prolog interpreter written in OCaml.
OCaml
6
star
6

Projet_Simulateur_IGOSAT

C++
4
star
7

discord-ml

Experimental binders to the Discord API
OCaml
3
star
8

ocaml-index

Perl
3
star
9

mash-and-furious

OCaml
3
star
10

ocaml-theia

Dockerfile
2
star
11

bs-jszip

Bucklescript bindings for JSZip
OCaml
1
star
12

opam-repository-index

1
star
13

lp2tex

An Ugly, untested and mostly unsatifying translator from ฮปProlog code to Latex inference rules
Python
1
star
14

mail-script

Shell
1
star
15

merlin-occurrences-switch

Makefile
1
star
16

OpenBikeComputer

Kotlin
1
star