https://github.com/disownedwheat/fungo_of_ocaml

An experimental compiler for an Ocaml inspired language that targets Golang

compiler go ocaml

Last synced: 14 Feb 2025

https://github.com/pawannnnn/text_adventure

Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨

ocaml

Last synced: 23 Nov 2024

https://github.com/pawannnnn/text_analyzer

ocaml

Last synced: 23 Nov 2024

https://github.com/vendethiel/translator-backend.ocaml

Backend to Translator using Ocaml + Dream

dream lwt ocaml ocaml-dream ocaml-lwt

Last synced: 27 Jan 2025

https://github.com/juniforge/nmap_xml_parser

A simple OCaml script that parses Nmap XML output and extracts IPv4 addresses marked as "up" in a comma-separated list.

nmap ocaml xml xml-parser

Last synced: 30 Dec 2024

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 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.

ocaml

Last synced: 19 Jan 2025

https://github.com/davphla/rpc-ocaml

Attempted implementation of a RPC Module for OCaml

ocaml ocaml-library parallel-computing rpc

Last synced: 12 Feb 2025

https://github.com/sagnikc395/sato

A SAT Solver written in OCaml.

ocaml plt sat-solver

Last synced: 23 Jan 2025

https://github.com/erwanlem/imp_debugger

Débogueur pour langage impératif avec inférence de type

debugger inference ocaml

Last synced: 19 Jan 2025

https://github.com/ryloric/bs-list

BuckleScript bindings for funkia/list

bucklescript-bindings ocaml reasonml

Last synced: 06 Feb 2025

https://github.com/qnighy/advanced-programming-languages-report-ltl

algorithm automata logic ocaml temporal-logic

Last synced: 06 Feb 2025

https://github.com/ahnineamine/log-analysis-api

OCaml-based REST API designed to process, analyze, and transform log data

dune functional-programming ocaml

Last synced: 04 Feb 2025

https://github.com/sean-clayton/helmet

bucklescript ocaml reason-react reasonml

Last synced: 25 Dec 2024

https://github.com/bartex00001/better-c-macros

Rust-like macros for c

c macros ocaml preprocessing

Last synced: 04 Feb 2025

https://github.com/maxm33/minicaml-interpreter

An interpreter written in Java that understands a subset of OCaml instructions.

interpreter ocaml

Last synced: 21 Jan 2025

https://github.com/redprl/actions-ocaml

GitHub Action for red* OCaml packages

github-actions ocaml

Last synced: 08 Jan 2025

https://github.com/jamessouth/portfolio

my portfolio

bucklescript jest ocaml parcel react-testing-library reasonml reasonreact tailwindcss

Last synced: 07 Feb 2025

https://github.com/savonet/ocaml-pipewire

OCaml bindings to the PipeWire library.

library ocaml pipewire

Last synced: 04 Feb 2025

https://github.com/douglarek/cs3110

Learn 【CS 3110 Spring 2016 :: Data Structures and Functional Programming】

cs3110 ocaml ocaml-exercises

Last synced: 14 Feb 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/shroominic/ocaml-sublanguage-interpreter

This project is an interpreter written in OCaml. It interpretes a language similar to OCaml but simpler.

interpreter ocaml

Last synced: 13 Dec 2024

https://github.com/neurocorgi/vm_challenge

Synacor vm challenge solution in Ocaml

ocaml vm

Last synced: 23 Jan 2025

https://github.com/bcc32/99

https://wiki.haskell.org/99_Haskell_exercises

exercises ocaml

Last synced: 11 Jan 2025

https://github.com/the-altitude-attitude/ground-control-station

WIP final project for CS 3110.

bogue gcs ocaml

Last synced: 10 Feb 2025

https://framagit.org/zoggy/ocaml-stk

Gui toolkit based on SDL (via Tsdl* libraries). https://zoggy.frama.io/ocaml-stk/

gui ocaml sdl2

Last synced: 29 Jan 2025

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/firobe/ocaml-mqtt-eio

Port of mqtt-client to eio

eio mqtt ocaml

Last synced: 23 Jan 2025

https://github.com/dylf/advent-of-code

🎄My Advent of Code Solutions🎄

advent-of-code advent-of-code-2022 advent-of-code-2023 ocaml rust

Last synced: 26 Dec 2024

https://github.com/lindig/tcalc

Minimal desktop calculator that can parse hour:min:sec values

ocaml

Last synced: 10 Jan 2025

https://github.com/speedcell4/real-world-ocaml

ocaml real-world-ocaml

Last synced: 08 Feb 2025

https://github.com/vit0rr/chat-ocaml

TCP chat in OCaml

chat ocaml tcp

Last synced: 20 Jan 2025

https://github.com/gabyfle/brainfuck

A Brainfuck compiler to Assembly x86, fully written in OCaml

brainfuck compiler gabyfle ocaml parser tokenizer

Last synced: 24 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: 11 Feb 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/concaml

Simple Conway's Game of Life in OCaml

conways-game-of-life ocaml

Last synced: 21 Jan 2025

https://github.com/eratio08/ads_ocaml

Algorithms & Data Structuress in OCaml

ads ocaml

Last synced: 21 Jan 2025

https://github.com/b72u68/arithmetic-expressions

Simple arithmetic expression parser using Ocaml

ocaml

Last synced: 20 Jan 2025

https://github.com/twolodzko/loco

Lisp implemented in OCaml, Oooh!

lisp lisp-interpreter ocaml scheme scheme-interpreter

Last synced: 14 Feb 2025

https://github.com/pombadev/semv

Bump a semver

cli ocaml semver

Last synced: 21 Jan 2025

https://github.com/justynhunter/photo_site_ml

Photograph Website

htmx ocaml

Last synced: 23 Jan 2025

https://github.com/serpent7776/ocaml-intro-slides

Introduction to OCaml programming language

introduction ocaml slides

Last synced: 18 Jan 2025

https://github.com/gabrielhdt/ocspbt

Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab

csp-solver ocaml queens-problem sudoku

Last synced: 05 Feb 2025

https://github.com/farmansu/qcst

Quantum Cognitive Synthesis Theory (QCST) is a theoretical framework exploring the integration of quantum mechanics, cognitive science, and AI. It proposes that consciousness might be simulated through quantum-like processes in microtubules, with implementations across various programming languages and using MySQL for managing learning experiences.

cognitive-science consciousness game-development machine-learning microtubules neuroscience ocaml property-based-testing quantum-computing quickcheck reinforcement-learning robotics

Last synced: 21 Jan 2025

https://github.com/thaodt/tcp_server

First step to OCaml

ocaml

Last synced: 31 Jan 2025

https://github.com/chaarlesss/lipgloss

Style definitions for nice terminal layouts in OCaml 👄

ocaml

Last synced: 25 Jan 2025

https://github.com/owainlewis/dune-example-project

An example project using OCaml dune

ocaml

Last synced: 01 Feb 2025

https://github.com/smercer10/camelot

WIP OCaml chess engine.

chess-engine ocaml

Last synced: 21 Jan 2025

https://github.com/herulume/playground

agda coq elixir elm go haskell ocaml

Last synced: 24 Dec 2024

https://github.com/viet281101/minic-misp_compiler

A small language compiler in Ocaml, translates MiniC syntax into MISP and runs

compiler misp ocaml

Last synced: 13 Feb 2025

https://github.com/shaolans/raytracer_ocaml

ocaml raytracer

Last synced: 10 Jan 2025

https://github.com/gabyfle/soundml

A little and very high level library to perform basic operations on audio files in the OCaml language

audio-processing ffmpeg ocaml owl

Last synced: 12 Oct 2024

https://github.com/tsaidavid/exercism

algorithms exercism exercism-javascript javascript ocaml reason reasonml

Last synced: 09 Feb 2025

https://github.com/alexchang8/bs-big.js

Bucklescript bindings to big.js

bucklescript bucklescript-bindings ocaml reasonml reasonml-bindings

Last synced: 07 Feb 2025

https://github.com/lemoineat/grunt-of-ocamlbuild

Compile OCaml code to JavaScript with grunt, ocamlbuild and js_of_ocaml

grunt javascript js-of-ocaml ocaml ocamlbuild

Last synced: 04 Feb 2025

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/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/vogler/ppx_distr_guards

OCaml ppx extension to distribute guards over or-patterns (Warning 57)

ocaml ppx

Last synced: 23 Dec 2024

https://github.com/lambdabaa/ocamlconf

Autoconf for OCaml codebases

makefile ocaml

Last synced: 04 Jan 2025

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/adelloste/pf

OCaml - Functional programming

ocaml

Last synced: 29 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/zshipko/ocaml-redis-module

Redis Modules in OCaml

ocaml redis

Last synced: 22 Jan 2025

https://github.com/lamg/twitter_scanner

Stores tweets and user profiles in an Sqlite DB.

ocaml sqlite twitter-api

Last synced: 25 Dec 2024

https://github.com/rastreus/ocaml-book-club

Working through OCaml Books... for Fun!

bookclub education learning ocaml

Last synced: 28 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/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/davideimola/myinterpreter

Interpreter built in OCaml

interpreter ocaml university university-project

Last synced: 22 Jan 2025

https://github.com/amillert/camodular

Ocaml interpreter (Sedlex tokenizer + Menhir parser) of modularized classes with two means of inheritance.

functional-programming menhir ocaml parser sedlex

Last synced: 12 Jan 2025

https://github.com/shakadak/ft_tama

Small tamagochi in OCaml

ocaml tamagotchi

Last synced: 04 Feb 2025

https://github.com/w-henderson/humphreyjr

🐪 The Performance-Focused, Dependency-Free Web Server, now in OCaml. (WIP)

http http-server ocaml web-framework web-server

Last synced: 13 Jan 2025

https://github.com/eratio08/pars-comb-ml

Monadic parsing in OCaml

monadic ocaml parser parser-combinators parsing

Last synced: 21 Jan 2025

https://github.com/neal-c/hello-ocaml

A playground for curiosity, fun and very deep personal notes

ocaml

Last synced: 02 Feb 2025

https://github.com/exenon/polymorphic-variants-presentation

A short presentation about OCaml Polymorphic Variants

ocaml polymorphic-variants presentation reveal-js

Last synced: 26 Dec 2024

https://github.com/mackenziestarr/advent-of-code

advent of code exercises

advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 cpp ocaml rust

Last synced: 30 Jan 2025

https://github.com/dakotamurphyucf/ocaml-gpt

Ocaml project providing AI tooling using the Openai api.

developer-tools ocaml openai

Last synced: 21 Jan 2025

https://github.com/jonathanjameswatson/regex_parser

OCaml parsers (not compilers!) for (limited) regular expressions

ebnf lexer lr1-parser menhir ocaml ocamllex parser recursive-descent-parser regex

Last synced: 26 Dec 2024

https://github.com/bertrand31/data-structures-reasonml

Collection of data structures implemented in ReasonML (OCaml)

functional-programming ocaml reasonml

Last synced: 26 Dec 2024

https://github.com/baransu/reason-grpc-playground

Reason gRPC Playground

grpc ocaml reasonml

Last synced: 04 Feb 2025

https://github.com/giraud/rincewind

cmt information extractor

cmt-extractor ocaml

Last synced: 12 Feb 2025

https://github.com/aadhil2k4/ocaml-ray-tracer

OCaml implementation of blue to whit gradient generation from book "Ray tracing in a weekend"

ocaml raytracing

Last synced: 21 Nov 2024

https://github.com/minsoo-web/ocaml-exercise

exercise ocaml

Last synced: 28 Jan 2025

https://github.com/ryloric/ocaml-dune-skeleton

ocaml dune skeleton setup

ocaml scaffolding

Last synced: 02 Jan 2025

https://github.com/kuy/99-ocaml-problems

My solutions for "99 Problems (solved) in OCaml" https://ocaml.org/learn/tutorials/99problems.html

99probs ocaml

Last synced: 09 Jan 2025

https://github.com/cmattinson/advent-of-code

OCaml my Caml

advent-of-code functional-programming ocaml

Last synced: 07 Feb 2025

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/ncs-pl/query-tree

Projet de Programmation Fonctionnelle, UFR ST Orléans 2024

ocaml query tree

Last synced: 23 Jan 2025

https://github.com/tristan971/aoc-2019

Advent of Code 2019

advent-of-code-2019 ocaml

Last synced: 10 Jan 2025

https://github.com/mkhan45/ocaml_canvas_pong

js-of-ocaml ocaml pong

Last synced: 16 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/jubnzv/ctfp

Solutions for challenges from Bartosz Milewski's "Category Theory for Programmers" book.

category-theory ocaml

Last synced: 02 Feb 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: 05 Feb 2025

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/stepankuzmin/exercism

My Exercism solutions

clojure elm erlang exercism ocaml rust

Last synced: 31 Jan 2025

https://github.com/lwcarani/json-parser

JSON parsers, implementations in Python and OCaml

json json-parser menhir ocaml ocamllex python

Last synced: 01 Feb 2025

https://github.com/anntnzrb/aoc24-ocaml

Advent of Code 2024, in OCaml

aoc ocaml

Last synced: 02 Feb 2025

https://github.com/susji/opl

Toy compiler for PL/0, emits x86-64 assembly for Linux

compilers educational ocaml

Last synced: 07 Feb 2025

https://github.com/mbarbin/opam-repository

An opam repository for publishing ocaml packages

ocaml opam packages releases

Last synced: 11 Jan 2025

https://github.com/artainmo/general-programming

Notes from studying and small projects surrounding general-programming.

assembly bits c clean-code cpp ide ocaml operating-systems os python rust self-learning shell study team vim

Last synced: 22 Jan 2025

https://github.com/alexchang8/tetris-caml

Tetris implemented in ocaml, then ported to js

ocaml

Last synced: 24 Dec 2024