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-22 00:21:58 UTC
- JSON Representation
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/code-help-tutor/ocaml-parser-hw9
OCaml HW9 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
Last synced: 21 Jan 2025
https://github.com/phthhieu/tailwind_ppx
[WIP] TailwindCSS PPX for Bucklescript/ReasonML
bucklescript ocaml reasonml tailwind tailwind-css
Last synced: 23 Nov 2024
https://github.com/cedlemo/ocaml-mongoc
Ctypes based OCaml bindings for the libmongoc library
bson ctypes libmongoc mongo ocaml ocaml-bsonc ocaml-mongoc
Last synced: 12 Dec 2024
https://github.com/code-help-tutor/ocaml-parser
OCaml 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
Last synced: 21 Jan 2025
https://github.com/bahmanm/stockman-ml
Stockman in OCaml
ocaml ocaml-exercises stockman
Last synced: 15 Jan 2025
https://github.com/puripuri2100/xml2saty
This software converts xml file to SATySFi's document file.
ocaml opam satysfi satysfi-document xml xml2saty
Last synced: 29 Dec 2024
https://github.com/harmim/vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
abstract-interpretation article atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp excel-at-fit facebook facebook-infer java ocaml program-analysis static-analysis vut vut-fit
Last synced: 13 Dec 2024
https://github.com/jamessouth/portfolio
my portfolio
bucklescript jest ocaml parcel react-testing-library reasonml reasonreact tailwindcss
Last synced: 14 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/j14159/alpaca-record-sketch1
Experiments to JIT simple record operations with LLVM in OCaml.
Last synced: 17 Dec 2024
https://github.com/fourmew/aoc2024
Advent Of Code 2024 solutions in OCaml
advent-of-code advent-of-code-2024 ocaml puzzles
Last synced: 13 Dec 2024
https://github.com/ryloric/bs-list
BuckleScript bindings for funkia/list
bucklescript-bindings ocaml reasonml
Last synced: 13 Dec 2024
https://github.com/sreecharanv/tokenization-and-categorization-using-ocaml-a-lexical-analysis-approach
An OCaml-based lexical analyzer that identifies and classifies tokens such as identifiers, operators, punctuation symbols, integer literals, and keywords. The project involves tokenizing input text, categorizing tokens, and printing them with their respective categories. Key functions include tokenize, is_alnum, is_punctuation, and print_tokens.
lexical-analysis lexical-analyzer ocaml ocaml-program tokenization
Last synced: 21 Jan 2025
https://github.com/petetnt/advent-of-code-2017-reasonml
Advent of Code 2017 with ReasonML
advent-of-code advent-of-code-2017 functional-programming ocaml reasonml
Last synced: 10 Dec 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: 20 Jan 2025
https://github.com/isaac-defrain/multi-client-server
A multi-client server for a simple shared ledger written in OCaml
Last synced: 15 Dec 2024
https://github.com/dhil/google-tech-talk-2018
Materials for my Google Tech Talk 2018
concurrency effect-handlers effects ocaml
Last synced: 17 Dec 2024
https://github.com/neurocorgi/vm_challenge
Synacor vm challenge solution in Ocaml
Last synced: 29 Sep 2024
https://github.com/uncomputable/expressive-wallet
What is a minimal wallet of coins that can express all amounts below a target?
coq formal-verification maths maths-problem ocaml theorem-proving
Last synced: 24 Dec 2024
https://github.com/johnbntn/dat
Binary Analysis Framework for Datalog
bap binary-analysis datalog logic-programming ocaml program-analysis
Last synced: 11 Jan 2025
https://github.com/the-altitude-attitude/ground-control-station
WIP final project for CS 3110.
Last synced: 18 Dec 2024
https://github.com/ryloric/bucklescript-fluture
BuckleScript bindings for fluture-js
bucklescript bucklescript-bindings ocaml reasonml
Last synced: 21 Jan 2025
https://github.com/mk-fg/ghg
Simple command-line NaCl/libsodium file encryption tool
cli cryptography nacl ocaml security tool
Last synced: 07 Jan 2025
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 advent-of-code-2024 elixir go kotlin ocaml
Last synced: 21 Jan 2025
https://github.com/eratio08/ads_ocaml
Algorithms & Data Structuress in OCaml
Last synced: 21 Jan 2025
https://github.com/gfngfn/lambda-next-box
code-generation interpreter metaprogramming ocaml type-checker type-system
Last synced: 15 Jan 2025
https://github.com/j-christl/ocaml-utils
Some basic OCaml utility functions I will keep updating while learning functional programming
functional functional-programming ocaml ocaml-utils utility-function
Last synced: 23 Nov 2024
https://github.com/levichu51/pp-practicas-teoria-23-24
Prácticas de la asignatura de Paradigmas de la Programación UDC 23/24
funcional-programming ocaml udc university
Last synced: 21 Jan 2025
https://github.com/risto-stevcev/bs-callbag-to-promise
Convert an async pullable source into a promise
Last synced: 09 Nov 2024
https://github.com/lindig/tcalc
Minimal desktop calculator that can parse hour:min:sec values
Last synced: 10 Jan 2025
https://github.com/atomicptr/zebang
File based script runner powered by shebang
Last synced: 21 Jan 2025
https://github.com/risto-stevcev/bs-callbag-batteries
Callbags with batteries included
Last synced: 09 Nov 2024
https://github.com/anupvarghese/reason-react
javascript ocaml reason reasonml
Last synced: 25 Dec 2024
https://github.com/omnisci3nce/ocaml-rpg
Visualisation and rendering toolkit focusing on 3D and ease of use.
3d-graphics 3d-visualization ocaml rendering
Last synced: 21 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/ushitora-anqou/mahout
A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
docker kubernetes mastodon nusmv ocaml
Last synced: 18 Dec 2024
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/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/mohcineproject/expr-compiler-and-pfx-virtual-machine
An academic project where we developed an Expr compiler (a simple arithmetic language with support for lambda calculus, altough this last part is not yet fully implemented) and a Pfx virtual machine (a simple stack low level language).
Last synced: 21 Jan 2025
https://github.com/isaac-defrain/apalache-interface
Interface files for the Apalache symbolic model checker reminiscent of OCaml
Last synced: 15 Dec 2024
https://github.com/alexchang8/bs-big.js
Bucklescript bindings to big.js
bucklescript bucklescript-bindings ocaml reasonml reasonml-bindings
Last synced: 14 Dec 2024
https://github.com/mbarbin/doc-experiment-docusaurus
Experimenting with docusaurus+odoc
docusaurus ocaml ocaml-mdx odoc
Last synced: 21 Jan 2025
https://github.com/dakotamurphyucf/ocaml-gpt
Ocaml project providing AI tooling using the Openai api.
Last synced: 21 Jan 2025
https://github.com/aadhil2k4/ocaml-ray-tracer
OCaml implementation of blue to whit gradient generation from book "Ray tracing in a weekend"
Last synced: 21 Nov 2024
https://github.com/codiepp/ml-cpp-chrono
OCaml embedded cross-platform C++ <chrono>
chrono cpp hacktoberfest ocaml
Last synced: 21 Jan 2025
https://github.com/tmcgilchrist/ocaml-bitbucket
OCaml library for bitbucket API
Last synced: 21 Jan 2025
https://github.com/codiepp/ml-cpp-filesystem
OCaml embedded cross-platform C++ <filesystem>
cpp filesystem hacktoberfest ocaml
Last synced: 21 Jan 2025
https://github.com/domai-tb/functional-programming-ss24
Exercise solution for the course "Functional Programming" af summer semester 2024
Last synced: 21 Jan 2025
https://github.com/ncs-pl/query-tree
Projet de Programmation Fonctionnelle, UFR ST Orléans 2024
Last synced: 29 Sep 2024
https://github.com/jubnzv/ocaml-plugins-demo
A demo that shows how to use Findlib to implement a project with dynamically loaded plugins.
Last synced: 07 Dec 2024
https://github.com/sigmachirality/denpa
Website for Denpa: An Otaku Podcast.
anime bucklescript javascript ocaml reason-react reasonml website
Last synced: 19 Dec 2024
https://github.com/jubnzv/ctfp
Solutions for challenges from Bartosz Milewski's "Category Theory for Programmers" book.
Last synced: 07 Dec 2024
https://github.com/maxrn/locksmith
Easily convert between export formats of different password managers for migration.
Last synced: 21 Jan 2025
https://github.com/kawamurakazushi/monkey-ml
OCaml implementation of an interpreter for the Monkey programming language
interpreter lexer monkey ocaml parser
Last synced: 09 Jan 2025
https://github.com/yawaramin/wsh-bs-test
Windows Script Host / BuckleScript test
bucklescript ocaml windows-scripts
Last synced: 11 Jan 2025
https://github.com/igorjakus/nomad
Numerical Optimization, Mathematics and Automatic Differentiation library in OCaml!🐫
automatic-differentiation gradient-descent mathematical-expressions mathematics numerical-methods numerical-optimization ocaml
Last synced: 19 Jan 2025
https://github.com/jonathanjameswatson/earley_parser
Earley parser for context-free grammars
dune earley-parser ocaml parser
Last synced: 26 Dec 2024
https://github.com/sean-clayton/helmet
bucklescript ocaml reason-react reasonml
Last synced: 25 Dec 2024
https://github.com/atomicptr/camelcase
A simple OCaml test framework
ocaml ocaml-library test testing unit-testing
Last synced: 23 Nov 2024
https://github.com/tsaidavid/exercism
algorithms exercism exercism-javascript javascript ocaml reason reasonml
Last synced: 17 Dec 2024
https://github.com/kuy/99-ocaml-problems
My solutions for "99 Problems (solved) in OCaml" https://ocaml.org/learn/tutorials/99problems.html
Last synced: 09 Jan 2025
https://github.com/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 17 Dec 2024
https://github.com/narekhovhannisyan/introduction-to-ocaml
Introduction to oCaml -> https://youtu.be/yKlcIUQ7168
for ocaml presentation public sceptics talk video
Last synced: 01 Jan 2025
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: 19 Jan 2025
https://github.com/rdck/ocaml-module-introduction
source code for "Introduction to the OCaml Module System"
Last synced: 21 Jan 2025
https://github.com/thehxdev/ocaml-practice
Solving some problems with Ocaml
Last synced: 21 Jan 2025
https://github.com/owainlewis/dune-example-project
An example project using OCaml dune
Last synced: 05 Dec 2024
https://github.com/veeara282/askyquiz
A quiz engine and editor implemented in OCaml. This was my group's midterm project for CS 3110.
cs3110 ocaml quiz-game quiz-maker
Last synced: 02 Jan 2025
https://github.com/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 12 Jan 2025
https://github.com/mikejeuga/fonctionnelle
Just some files while I am learning
functional-programming learning ocaml
Last synced: 21 Jan 2025
https://github.com/monkeyjunglejuice/emacs.ontop
Mission: Providing a great user experience in Emacs for various programming languages.
common-lisp elixir emacs emacs-setup emacs-starter-kit haskell julia ocaml racket
Last synced: 13 Jan 2025
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/slamko/ppx_catch
Ocaml PPX for no-exception error handling
error-handling functional-programming meta-programming no-exception ocaml ppx ppx-extension ppx-rewriter ppxlib
Last synced: 21 Jan 2025
https://github.com/ceribe/memory-game
Memory game made in OCaml and Bogue
bogue game memory-game ocaml poznan-university-of-technology
Last synced: 20 Jan 2025
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: 19 Jan 2025
https://github.com/erwanlem/imp_debugger
Débogueur pour langage impératif avec inférence de type
Last synced: 19 Jan 2025