https://github.com/gaku-sei/bucklescript-tea-showcase

Playing with OCaml and Bucklescript TEA

bucklescript elm-architecture ocaml

Last synced: 14 Feb 2025

https://github.com/thecoachingonline/hello-ocaml

Hello World OCaml

ocaml

Last synced: 03 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/willguimont/sjm

Manage SLURM jobs on multiple clusters easily.

cli machine-learning ocaml slurm tools

Last synced: 14 Feb 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/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/risto-stevcev/bs-callbag-batteries

Callbags with batteries included

bucklescript callbag ocaml

Last synced: 09 Nov 2024

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

bucklescript ocaml reason-react reasonml

Last synced: 17 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/amahanna/sandbox

languages practiced go here

cpp golang java lisp ocaml prolog python vhdl

Last synced: 19 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/bartex00001/better-c-macros

Rust-like macros for c

c macros ocaml preprocessing

Last synced: 04 Feb 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: 17 Feb 2025

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/pombadev/pkgman

ocaml

Last synced: 16 Jan 2025

https://github.com/kiranandcode/http_sig_ocaml

HTTP Signatures for OCaml

http http-signature ocaml ocaml-library

Last synced: 16 Feb 2025

https://github.com/kkazuo/pdfinfo

A wrapper around the pdfinfo command

ocaml pdf

Last synced: 16 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://github.com/risto-stevcev/bs-callbag-to-promise

Convert an async pullable source into a promise

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/samwson/monkey-lang-in-ocaml

A simple interpreted language for learning purposes.

interpreted-programming-language ocaml

Last synced: 27 Jan 2025

https://github.com/samuela/karger

Karger's min-cut algorithm in OCaml

functional-programming karger ocaml

Last synced: 18 Feb 2025

https://github.com/risto-stevcev/bs-callbag-last

Creates a callbag containing only the last signal from the given stream

bucklescript callbag ocaml

Last synced: 09 Nov 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/arata-nvm/tedate

✏I want to learn about functional programming.

interpreter ocaml

Last synced: 08 Jan 2025

https://github.com/dofera/mtasc

Motion-Twin ActionScript 2 Compiler

actionscript flash ocaml

Last synced: 22 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: 16 Feb 2025

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/aleksrutins/reason-template

An extremely bare-bones Reason + Esy template.

esy ocaml reason reasonml

Last synced: 20 Jan 2025

https://github.com/kkazuo/slack_rtm

Slack RTM for OCaml

ocaml slack

Last synced: 16 Jan 2025

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

dune menhir ocaml ocamllex

Last synced: 21 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/cgyurgyik/caml-pox

Epidemic simulation game.

epidemic epidemic-game epidemic-theory functional functional-programming game ocaml

Last synced: 16 Jan 2025

https://github.com/jxiao/aoc

Advent of Code (ft. 🐫 & 🐍 )

ocaml python

Last synced: 10 Feb 2025

https://github.com/olafhering/ocaml-camlbz2

Unofficial mirror of Camlbz2 for dune

bz2 bzip2 dune ocaml

Last synced: 16 Feb 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/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/mmottl/ocaml-playground

This project contains small code examples to get people going with OCaml. Each directory represents a self-contained example.

examples ocaml

Last synced: 05 Jan 2025

https://github.com/claby2/aoc

🎄 Solutions for Advent of Code

2023 2024 advent-of-code ocaml

Last synced: 12 Feb 2025

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: 21 Jan 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/esy-ocaml/esy-ocaml.github.io

Umbrella website for Esy OCaml Projects

esy ocaml reason

Last synced: 19 Feb 2025

https://github.com/shaolans/raytracer_ocaml

ocaml raytracer

Last synced: 10 Jan 2025

https://github.com/theteachr/aoc-2021

Solutions for AoC 2021 (OCaml)

aoc aoc2021 ocaml

Last synced: 11 Jan 2025

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/isaac-defrain/multi-client-server

A multi-client server for a simple shared ledger written in OCaml

multi-client-server ocaml

Last synced: 08 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/manikupireddii/text_analyzer

ocaml

Last synced: 09 Feb 2025

https://github.com/manikupireddii/m-lua

o lua m'lua

lua ocaml

Last synced: 09 Feb 2025

https://github.com/manikupireddii/text_adventure

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

ocaml

Last synced: 09 Feb 2025

https://github.com/lue-bird/elm-syntax-to-ocaml

transpile elm to ocaml

elm elm-syntax ocaml transpiler

Last synced: 08 Jan 2025

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: 20 Jan 2025

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/formalsec/waspc

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 2024

https://github.com/idkjs/reason-react-native-elements-gitphone

Reason Version of React Native Elements's Gitphone Case Study: https://react-native-training.github.io/react-native-elements/blog/2018/12/13/react-native-web.html

bs-react-native bucklescript bucklescript-bindings ocaml react-native react-native-elements reasonml

Last synced: 04 Feb 2025

https://github.com/isaac-defrain/apalache-interface

Interface files for the Apalache symbolic model checker reminiscent of OCaml

apalache ocaml tla tlaplus

Last synced: 08 Feb 2025

https://github.com/idkjs/simple-fetch-graphql-tutorial

ReasonML and Graphql without Graphql

axios bs-axios bs-fetch graphql ocaml reason reasonml

Last synced: 04 Feb 2025

https://github.com/isaac-defrain/bench

Benchmarking OCaml patterns

benchmark ocaml

Last synced: 08 Feb 2025

https://github.com/vogler/ppx_distr_guards

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

ocaml ppx

Last synced: 15 Feb 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://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/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/claby2/camlcade

🐪🎮 OCaml Game Engine

ecs game-engine ocaml opengl

Last synced: 30 Dec 2024

https://github.com/bahmanm/stockman-ml

Stockman in OCaml

ocaml ocaml-exercises stockman

Last synced: 15 Jan 2025

https://github.com/jubnzv/ocaml-plugins-demo

A demo that shows how to use Findlib to implement a project with dynamically loaded plugins.

findlib ocaml ocaml-plugin

Last synced: 02 Feb 2025

https://github.com/bryik/experiments-in-ocaml

Small snippets of OCaml.

ocaml

Last synced: 19 Jan 2025

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

OCaml bindings to the PipeWire library.

library ocaml pipewire

Last synced: 04 Feb 2025

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

Introduction to OCaml programming language

introduction ocaml slides

Last synced: 18 Jan 2025

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

ocaml dune skeleton setup

ocaml scaffolding

Last synced: 02 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/cmattinson/advent-of-code

OCaml my Caml

advent-of-code functional-programming ocaml

Last synced: 07 Feb 2025

https://github.com/khalidbelk/jaccard

Calculate the similarity index between two texts

nlp ocaml similarity-analysis text-similarity

Last synced: 16 Feb 2025

https://github.com/master-of-none/ocaml

Some OCaml Work

ocaml

Last synced: 02 Feb 2025

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

Advent of Code 2019

advent-of-code-2019 ocaml

Last synced: 10 Jan 2025

https://github.com/j14159/alpaca-record-sketch1

Experiments to JIT simple record operations with LLVM in OCaml.

jit llvm ocaml

Last synced: 09 Feb 2025

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

GitHub Action for red* OCaml packages

github-actions ocaml

Last synced: 08 Jan 2025

https://github.com/j14159/ppx_test_match

PPX rewriter to test pattern matches.

ocaml ppx-rewriter testing

Last synced: 09 Feb 2025

https://github.com/vit0rr/ocamllex-findout

Generate JSON tokens using Ocamllex

json lexer ocaml ocamllex

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/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/mbarbin/doc-experiment-docusaurus

Experimenting with docusaurus+odoc

docusaurus ocaml ocaml-mdx odoc

Last synced: 21 Jan 2025

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/fizzyelt/ocaml_aoc_2024

advent-of-code-2024 ocaml

Last synced: 05 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/eratio08/concaml

Simple Conway's Game of Life in OCaml

conways-game-of-life ocaml

Last synced: 21 Jan 2025

https://github.com/r-cha/tritip

cli for typing practice

cli ocaml typing-practice

Last synced: 20 Jan 2025

https://github.com/eratio08/ads_ocaml

Algorithms & Data Structuress in OCaml

ads ocaml

Last synced: 21 Jan 2025

https://github.com/anupvarghese/reason-react

javascript ocaml reason reasonml

Last synced: 16 Feb 2025

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

exercise ocaml

Last synced: 28 Jan 2025

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

ocaml real-world-ocaml

Last synced: 08 Feb 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: 24 Jan 2025

https://github.com/j-christl/ocaml-havelhakimi

Functional implementation of the Havel-Hakimi algorithm in OCaml

discrete-mathematics functional-programming graph-theory havel-hakimi-algorithm ocaml

Last synced: 24 Jan 2025

https://github.com/atomicptr/camelcase

A simple OCaml test framework

ocaml ocaml-library test testing unit-testing

Last synced: 24 Jan 2025

https://github.com/adelloste/pf

OCaml - Functional programming

ocaml

Last synced: 29 Jan 2025

https://github.com/davideimola/myinterpreter

Interpreter built in OCaml

interpreter ocaml university university-project

Last synced: 22 Jan 2025

https://github.com/sigmachirality/denpa

Website for Denpa: An Otaku Podcast.

anime bucklescript javascript ocaml reason-react reasonml website

Last synced: 12 Feb 2025

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/codiepp/ml-cpp-filesystem

OCaml embedded cross-platform C++ <filesystem>

cpp filesystem hacktoberfest ocaml

Last synced: 21 Jan 2025