gitlab.com topics: ocaml
gopiandcode/gopcaml-mode
Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs.
Last synced at: 6 months ago - Stars: 16 - Forks: 1
nomadic-labs/tezt
A test framework for OCaml, suited for writing and executing unit, integration and regression tests and focusing on user experience.
Last synced at: almost 2 years ago - Stars: 1 - Forks: 0
smondet/vimebac
Visual Metronome and Band Conductor driven by JACK/MiDI
Last synced at: almost 2 years ago - Stars: 2 - Forks: 1
smondet/vecosek
Very Controllable Sequencer
Last synced at: almost 2 years ago - Stars: 2 - Forks: 0
mro/internet-radio-recorder
♊️ Mirror of http://mro.name/radio-privatkopie | 📻 🐚 Radio Privatkopie
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tmcgilchrist/ocaml-gitlab
Native OCaml bindings to Gitlab REST API v4 - Mirror of https://github.com/tmcgilchrist/ocaml-gitlab
Last synced at: over 2 years ago - Stars: 1 - Forks: 1
boreal-ldd/guacaml
Generic Unspecific Algorithmic in OCaml
Last synced at: over 2 years ago - Stars: 3 - Forks: 5
irill/cudf
libCUDF is a reference implementation of CUDF (Common Upgradeability Description Format), a document format to describe package upgrade scenarios, in a package manager agnostic way.
Last synced at: over 2 years ago - Stars: 0 - Forks: 1
gadmm/ocaml
Fork of https://github.com/ocaml/ocaml
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
commentjava/commentjava
The most french java parser
Last synced at: over 2 years ago - Stars: 3 - Forks: 0
bluehotdog/reason-nach
ReasonML based ACH file encoder/validator/decoder
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
gabrielhdt/airspace_configuration
Repartitioning of aircrafts navigation sectors among positions using Monte Carlo tree search
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
NexuSolo/projet-pf-dpll
Projet de Logique en L3 licence Informatique Université Paris Cité. Création d'une calculatrice sans limite de taille sur les entiers
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
ThomasKowalski/travellingsalesman-ocaml
An implementation of optimisation heuristics for the TSP, designed to run in less than two seconds on 1000-cities input
Last synced at: over 1 year ago - Stars: 0 - Forks: 0
catvayor/netlistsim
Netlist Compiler (projet ENS système numérique 2021)
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
patrickferris/ocaml-sctp
Very incomplete OCaml SCTP protocol
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
Mishio595/disml
Pure OCaml bindings to the Discord API
Last synced at: over 2 years ago - Stars: 6 - Forks: 1
smondet/comk
Configurable Menus for Keyboards
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
gopiandcode/libre-ref
Free as in freedom Digital Referencing tool for Artists.
Last synced at: over 2 years ago - Stars: 3 - Forks: 1
ekkaia/simply-typed-lambda-calculus
Simply typed lambda calculus engine made with OCaml (2021, Programmation fonctionnelle)
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
WzukW/pomodoro
A light & fast pomodoro timer. https://pomodoro.ml
Last synced at: over 2 years ago - Stars: 2 - Forks: 0
kellydanma/exercism
Using [exercism](exercism.io) here! Currently, I'm learning Go and OCaml 🎉
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
thetimemaster/introduction-to-functional-programming
All projects from my functional programming course in the first year of undergraduate at University of Warsaw.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
legicash/legicash-contracts
Formally verified cryptocurrency smart contracts using game semantics in Coq
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
WzukW/oclaunch
**Launch automagically!** See http://oclaunch.eu.org The purpose of OcLaunch is to easily launch command once per session. For instance, open a different program, one by one, each time you open your terminal. More at http://ocla.ml
Last synced at: 10 months ago - Stars: 2 - Forks: 0
mseri/doto
A very simple todo list manager. It is very much a work in progress, the api is likely to change and get polished over time, and I'm using it to start testing and getting acquainted with ocaml tools and libraries.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0