• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TeX
  • Created almost 5 years ago
  • Updated almost 3 years ago

Reviews

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

Repository Details

Finite permutation library with an optimizing compiler

More Repositories

1

algebra

Definitions for common algebraic structures
OCaml
11
star
2

ocaml-fet

"FET is open source free software for automatically scheduling the timetable of a school, high-school or university."
OCaml
6
star
3

api-cohttp-lwt

js_of_ocaml-friendly HTTP API client library
OCaml
5
star
4

toy-crypto

OCaml Public Key Cryptography Implementation (with proofs in French)
OCaml
5
star
5

discord

A chatbot framework
OCaml
4
star
6

yaml

Clone of svn://forge.ocamlcore.org/svn/yaml4caml/
OCaml
3
star
7

allocine

Bindings pour Allocinรฉ
OCaml
2
star
8

resistor

Resistor color code calculator
Prolog
2
star
9

bsp

Java implementation of Binary Space Partitions
Java
2
star
10

jsoo_speech

js_of_ocaml binding for the Web Speech API
OCaml
2
star
11

ccwg-archive

Archiving tools for https://codingcompetitions.withgoogle.com/
OCaml
2
star
12

sqldep

SQL Dependency Extraction Tool
OCaml
2
star
13

exodos

Route planning using Graphserver
OCaml
1
star
14

ocaml-exercises

OCaml
1
star
15

ica

Beamer presentation about Independent Component Analysis (in French)
TeX
1
star
16

typedep

OCaml
1
star
17

CompilerTemplate

Compiler template with lexer, parser and AST
F#
1
star
18

dvdfr

API for dvdfr.com
OCaml
1
star
19

web-ocaml

Functional web framework in OCaml
OCaml
1
star
20

ppx_camel_case

Generate camel-case [@name] and [@key] for use with other PPX derivers
OCaml
1
star
21

ocaml-activex

Bindings to ActiveX through winax (Node.js)
OCaml
1
star
22

ocaml-scratch

Scratch project codec
OCaml
1
star
23

jdbcldap

Java
1
star
24

ipcalc

IP Address Calculator
OCaml
1
star
25

srt2html

Convert srt files to HTML tables
Python
1
star
26

metaboard

AI framework
Java
1
star
27

ocaml-har

HTTP Archive parser and tools
OCaml
1
star
28

ocaml-smartschool

Smartschool client library for OCaml
OCaml
1
star
29

ocaml-matrixmarket

MatrixMarket reader/writer
OCaml
1
star
30

shenzhen

A parser for SHENZHEN I/O assembly programs
OCaml
1
star
31

logonHours

logonHours AD attribute manipulation library
OCaml
1
star
32

mystm

State machines for MySQL/MariaDB
SQL
1
star
33

cardinal

Solver for Cardinal Chains puzzles
OCaml
1
star
34

xlconv

Excel File Conversion Tool
VBScript
1
star
35

press_forward

Monitor arrow key events to understand why TrackMania is unplayable on some machines
VBA
1
star
36

interro

LaTeX template for school tests
TeX
1
star
37

maria-ci

Utility scripts for MariaDB CI on Windows
VBScript
1
star