Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
OCaml
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.
- GitHub: https://github.com/topics/ocaml
- Wikipedia: https://en.wikipedia.org/wiki/OCaml
- Repo: https://github.com/ocaml/ocaml
- Created by: Xavier Leroy
- Released: 1996
- Last updated: 2025-01-11 00:16:58 UTC
- JSON Representation
https://github.com/rishabh-agarwal/programming-system-ece-352
SDE Ocaml and Prolog Clemson University (Prolog and Ocaml)
352 clemson computer ece engineering ocaml prolog science sde university
Last synced: 28 Dec 2024
https://github.com/ushitora-anqou/qash2
A programming language for double-entry accounting
Last synced: 03 Jan 2025
https://github.com/jeronimobarea/toml-merge
A small script written in Ocaml to merge all the toml files from a given directory
Last synced: 29 Nov 2024
https://github.com/jpleboeuf/exercism_ocaml
My solutions to the exercises from the OCaml track on Exercism.
exercism exercism-solutions exercism-track ocaml
Last synced: 19 Nov 2024
https://github.com/anupvarghese/reason-react
javascript ocaml reason reasonml
Last synced: 25 Dec 2024
https://github.com/igorjakus/nnomad
Numerical optimization, mathematics and automatic differentiation library in Ocaml!
automatic-differentiation gradient-descent numerical-methods numerical-optimization ocaml
Last synced: 03 Jan 2025
https://github.com/vogler/ppx_distr_guards
OCaml ppx extension to distribute guards over or-patterns (Warning 57)
Last synced: 23 Dec 2024
https://github.com/erwanlem/projet_pfa
Création d'un jeu 2D type platformer utilisant le modèle ECS
Last synced: 12 Jan 2025
https://github.com/rodrigooler/react-native-reason
Wonderful boilerplate using Reason with react-native
javascript ocaml react react-native react-native-reason reason yarn
Last synced: 21 Nov 2024
https://github.com/samuela/karger
Karger's min-cut algorithm in OCaml
functional-programming karger ocaml
Last synced: 27 Dec 2024
https://github.com/mmottl/ocaml-playground
This project contains small code examples to get people going with OCaml. Each directory represents a self-contained example.
Last synced: 05 Jan 2025
https://github.com/claby2/aoc
🎄 Solutions for Advent of Code
2023 2024 advent-of-code ocaml
Last synced: 19 Dec 2024
https://github.com/mikaello/ocaml-libxml2
ocaml-libxml2 is a library for calling libxml2 functions from OCaml
Last synced: 13 Dec 2024
https://github.com/mbarbin/opam-repository
An opam repository for publishing ocaml packages
Last synced: 11 Jan 2025
https://github.com/alanvf/star_parser
WIP parser for the Star programming language
Last synced: 15 Nov 2024
https://github.com/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/davideimola/myinterpreter
Interpreter built in OCaml
interpreter ocaml university university-project
Last synced: 21 Nov 2024
https://github.com/mtoohey31/starpath
A position-aware parser combinator library for OCaml with readable errors.
ocaml ocaml-library parser parser-combinators
Last synced: 09 Jan 2025
https://github.com/chaarlesss/lipgloss
Style definitions for nice terminal layouts in OCaml 👄
Last synced: 25 Nov 2024
https://github.com/sauzeauyannis/ls-projet
An interpreter for an imperative language and a Hoare logic prover
coq hoare-logic imperative-language interpreter ocaml prover school-project
Last synced: 27 Sep 2024
https://github.com/strykerkkd/plai-in-ocaml
Programming Languages: Application and Interpretation with Ocaml
Last synced: 01 Dec 2024
https://github.com/brocksam/99-camls
My solutions to the 99 exercises in OCaml
Last synced: 27 Nov 2024
https://github.com/navierula/learningneverends
New Year's Resolution 2017+2018: learn new programming languages :)
Last synced: 21 Nov 2024
https://github.com/mikejeuga/fonctionnelle
Just some files while I am learning
functional-programming learning ocaml
Last synced: 21 Nov 2024
https://github.com/thehxdev/ocaml-practice
Solving some problems with Ocaml
Last synced: 21 Nov 2024
https://github.com/justynhunter/advent-of-code-2015
Advent of Code 2015 done in Ocaml
advent-of-code-2015 advent-of-code-2015-ocaml ocaml
Last synced: 21 Nov 2024
https://github.com/rdck/ocaml-module-introduction
source code for "Introduction to the OCaml Module System"
Last synced: 21 Nov 2024
https://github.com/algojobs/ocaml-jobs
The latest OCaml jobs, updated weekly.
jobs jobsearch ocaml software-engineering
Last synced: 21 Nov 2024
https://github.com/artainmo/general-programming
Notes from studying and small projects surrounding general-programming.
assembly bits c clean-code collaboration cpp how-to-learn ide ocaml operating-systems os python rust shell study vim
Last synced: 22 Nov 2024
https://github.com/yisus82/fic-pd
Programación Declarativa - Facultad de Informática de A Coruña
caml declarative declarative-language declarative-programming ocaml ocaml-exercises
Last synced: 01 Dec 2024
https://github.com/yisus82/fic-pf
Programación Funcional - Facultad de Informática de A Coruña
caml functional functional-programming haskell haskell-exercises haskell-language haskell-learning ocaml ocaml-exercises
Last synced: 01 Dec 2024
https://github.com/eratio08/advent-of-code
yearly Advent of Coden solution attempts
advent-of-code advent-of-code-2015 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 go kotlin ocaml
Last synced: 20 Nov 2024
https://github.com/maelvls/maelvls
My GitHub README.md available at https://github.com/maelvls
engineer go kubernetes ocaml readme-profile
Last synced: 24 Nov 2024
https://github.com/tjade273/compling
Computational Linguistics Final Project Spring 2017
Last synced: 31 Dec 2024
https://github.com/neal-c/hello-ocaml
A playground for curiosity, fun and very deep personal notes
Last synced: 07 Dec 2024
https://github.com/eliasgit2017/proofbox
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
alt-ergo coq docker docker-container ocaml smt-solver
Last synced: 24 Dec 2024
https://github.com/neel-dandiwala/conway-game_of_life
Conway's Game of Life is a cellular automaton devised by mathematician John Conway. It's a zero-player game, meaning that its evolution is determined by its initial state, requiring no further input. It consists of a grid of cells which, based on a few mathematical rules, can live, die, or multiply over successive generations.
Last synced: 18 Nov 2024
https://github.com/kaawan-d20/dpf-2024-binarytree
🐫 Code OCaml du projet de Programmation Fonctionnelle de L2S4
binary-tree functional-programming ocaml university-project
Last synced: 07 Dec 2024
https://github.com/julgitt/prolog-implementation-in-ocaml
Prolog parser, lexer and interpreter in Ocaml
backtracking functional-programming monads ocaml prolog prolog-implementation state-monad
Last synced: 18 Nov 2024
https://github.com/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 2024
https://github.com/b72u68/arithmetic-expressions
Simple arithmetic expression parser using Ocaml
Last synced: 19 Nov 2024
https://github.com/jt2m0l3y/mypl
Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.
ast code-generation compiler-design cpp grammars jit lambda-calculus lexical-analysis ocaml parsing type-checking vm
Last synced: 27 Dec 2024
https://github.com/douglarek/cs3110
Learn 【CS 3110 Spring 2016 :: Data Structures and Functional Programming】
Last synced: 22 Dec 2024
https://github.com/mrkkrp/string_metrics
Collection of string metric algorithms in OCaml
hamming-distance jaccard-similarity jaro-distance jaro-winkler-distance levenshtein-distance ocaml string-metrics
Last synced: 18 Nov 2024
https://github.com/peter-roh/ocaml
taking 'programming languages' course
functional-programming interpreter ocaml programming-languages
Last synced: 20 Nov 2024
https://framagit.org/zoggy/ocaml-stk
Gui toolkit based on SDL (via Tsdl* libraries). https://zoggy.frama.io/ocaml-stk/
Last synced: 30 Nov 2024
https://github.com/acorrenson/minigc
A tinny GC written in plain C
c compiler-construction compiler-design garbage-collector java ocaml programming-languages
Last synced: 20 Nov 2024
https://github.com/pawvan/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 26 Nov 2024
https://github.com/sean-clayton/helmet
bucklescript ocaml reason-react reasonml
Last synced: 25 Dec 2024
https://github.com/applejag/adventofcode-2024-ocaml
My attempt at Advent of Code 2024 using OCalm https://adventofcode.com/2024
advent-of-code advent-of-code-2024 advent-of-code-ocaml ocaml
Last synced: 02 Dec 2024
https://github.com/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
Last synced: 12 Oct 2024
https://github.com/roguh/clox
Lox interpreter written in OCaml by Hugo O. Rivera Calzadillas.
dune interpreter lox menhir ocaml
Last synced: 27 Nov 2024
https://github.com/serpent7776/ocaml-intro-slides
Introduction to OCaml programming language
Last synced: 17 Nov 2024
https://github.com/eratio08/ads_ocaml
Algorithms & Data Structuress in OCaml
Last synced: 20 Nov 2024
