https://github.com/bcc32/99

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

exercises ocaml

Last synced: 11 Jan 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/redprl/actions-ocaml

GitHub Action for red* OCaml packages

github-actions ocaml

Last synced: 08 Jan 2025

https://github.com/pawannnnn/text_analyzer

ocaml

Last synced: 23 Nov 2024

https://github.com/pawannnnn/text_adventure

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

ocaml

Last synced: 23 Nov 2024

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

Solutions for AoC 2021 (OCaml)

aoc aoc2021 ocaml

Last synced: 11 Jan 2025

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

Watch me write some bad Rust, OCaml code

advent-of-code ocaml rust

Last synced: 28 Jan 2025

https://github.com/tmcgilchrist/ocaml-bitbucket

OCaml library for bitbucket API

ocaml

Last synced: 21 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/ryloric/bucklescript-fluture

BuckleScript bindings for fluture-js

bucklescript bucklescript-bindings ocaml reasonml

Last synced: 21 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/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/atomicptr/zebang

File based script runner powered by shebang

ocaml script-runner

Last synced: 21 Jan 2025

https://github.com/lindig/tcalc

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

ocaml

Last synced: 10 Jan 2025

https://github.com/ggsmith842/crypto-hacks

CTF challenges from the Cryptohack Cryptography course.

cryptography ocaml

Last synced: 21 Jan 2025

https://github.com/dimeeentor/university-disrete-math

Projects for my university for Discrete Mathematics course.

ocaml university-project

Last synced: 21 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/cosmicboots/ipcf

Intensional PCF interpreter

intensonality interpreter lambda-calculus ocaml

Last synced: 21 Jan 2025

https://github.com/mtoohey31/ppx_cmd

Declarative command line parsing for OCaml with `@@deriving`.

command-line ocaml ocaml-library parser ppx-deriver

Last synced: 21 Jan 2025

https://github.com/mungasoftwiz/braincaml

An OCaml-based interpreter for the Brainf*ck esoteric programming language.

brainfuck functional-programming ocaml ocaml-program

Last synced: 21 Jan 2025

https://github.com/atomicptr/pathlib-ml

Experimental path library for OCaml inspired by Pythons pathlib.

ocaml ocaml-library path

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/maxrn/locksmith

Easily convert between export formats of different password managers for migration.

ocaml password-manager

Last synced: 21 Jan 2025

https://github.com/domai-tb/functional-programming-ss24

Exercise solution for the course "Functional Programming" af summer semester 2024

functional-programming 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/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/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/elzibus/ocaml-code-snippets

Short OCaml code snippets

ocaml

Last synced: 21 Jan 2025

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/speedcell4/real-world-ocaml

ocaml real-world-ocaml

Last synced: 08 Feb 2025

https://github.com/manikupireddii/text_analyzer

ocaml

Last synced: 09 Feb 2025

https://github.com/herulume/playground

agda coq elixir elm go haskell ocaml

Last synced: 24 Dec 2024

https://github.com/code-help-tutor/ocaml-parser

OCaml 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]

ocaml

Last synced: 21 Jan 2025

https://github.com/shaolans/raytracer_ocaml

ocaml raytracer

Last synced: 10 Jan 2025

https://github.com/code-help-tutor/ocaml-parser-hw9

OCaml HW9 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]

hw9 ocaml

Last synced: 21 Jan 2025

https://github.com/faber-1/parsite

A micro library for simple parsing combinators.

dune ocaml parsing-combinators parsing-library string

Last synced: 21 Jan 2025

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

o lua m'lua

lua ocaml

Last synced: 09 Feb 2025

https://github.com/bohun9/tiger-ocaml

Tiger Compiler 🐅

ocaml tiger tiger-compiler x86-64

Last synced: 21 Jan 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/eratio08/learn-angstrom

Learning about OCaml's Angstrom lib

angstrom monkey-lang ocaml

Last synced: 21 Jan 2025

https://github.com/alesiong/effects-ocaml

Algebraic effects examples in OCaml

algebraic-effects effects ocaml

Last synced: 21 Jan 2025

https://github.com/filipeom/wasm-se-bench

Benchmarking Symbolic Execution tools for Wasm

ocaml python symbolic-execution wasm

Last synced: 21 Jan 2025

https://github.com/marindereggi/ocaml-linda

Tuple Space-Based Parallel Programming in OCaml

linda ocaml ocaml-library ocaml-multicore parallel-programming tuplespace

Last synced: 21 Jan 2025

https://github.com/eratio08/typeclassopedia-ml

ocaml

Last synced: 21 Jan 2025

https://github.com/aeghost/fmtime

Format time in OCaml, should be used with Fmt module

format ocaml time

Last synced: 21 Jan 2025

https://github.com/magnitopic/ft_turing

Ever heard of Turing’s machine?

42cursus ft-turing ft-turing42 ocaml turing-machine turing-machine-simulator

Last synced: 21 Jan 2025

https://github.com/sagnikc395/functional-programming

Some Functional Programming fun in OCaml.

cs3110 functional-programming ocaml plt

Last synced: 21 Jan 2025

https://github.com/bitmaybewise/ocaml-playground

mirrored from https://gitlab.com/bitmaybewise/ocaml-playground

ocaml

Last synced: 21 Jan 2025

https://github.com/sagnikc395/project-euler

Project Euler Solutions.

effect ocaml project-euler

Last synced: 21 Jan 2025

https://github.com/manikupireddii/text_adventure

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

ocaml

Last synced: 09 Feb 2025

https://github.com/nicklatch/ocaml_learn_exercises

My solutions to the ocaml.org exercises

functional-programming ocaml practice

Last synced: 21 Jan 2025

https://github.com/bcc32/countdown

Puzzle solvers for the Countdown game show

ocaml puzzle-solver

Last synced: 11 Jan 2025

https://github.com/yawaramin/gen_json_string

Utility to generate fake JSON data from a JSON Schema

json json-schema ocaml

Last synced: 11 Jan 2025

https://github.com/armanddidierjean/tipe-interpreteur-pour-le-langage-ocaml

Projet d'implémentation d'un interpréteur dans le cadre du TIPE

ast grammar interpreter language ocaml

Last synced: 07 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/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/lmarzocchetti/wangtiles-ml

Wang Tiles generator in Ocaml

functional functional-programming ml ocaml wang-tiles

Last synced: 07 Jan 2025

https://github.com/navierula/learningneverends

New Year's Resolution 2017+2018: learn new programming languages :)

javascript ocaml python r

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

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 2024

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

Implementations of the 99 problems in OCaml.

99problems functional-programming ocaml problem-solving

Last synced: 09 Nov 2024

https://github.com/federicobruzzone/setup-ocaml-project-without-dune

This repository provides a basic setup for an OCaml project without using Dune as the build system. It aims to provide a simple and straightforward structure for your OCaml project, allowing you to focus on writing code without the complexities of a build system.

functional-programming ocaml ocamlbuild project-template setuptools

Last synced: 09 Nov 2024

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

ocaml dune skeleton setup

ocaml scaffolding

Last synced: 02 Jan 2025

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 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/mikejeuga/fonctionnelle

Just some files while I am learning

functional-programming learning ocaml

Last synced: 21 Jan 2025

https://github.com/thehxdev/ocaml-practice

Solving some problems with Ocaml

ocaml

Last synced: 21 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/rdck/ocaml-module-introduction

source code for "Introduction to the OCaml Module System"

ocaml

Last synced: 21 Jan 2025

https://github.com/yayuniversal/projet-ipf-s2

Functional programming project of the 2nd semester - ENSIIE

decision-trees functional-programming ocaml

Last synced: 08 Jan 2025

https://github.com/calculationcollective/mlcalculator

calculator ocaml

Last synced: 08 Jan 2025

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

Some OCaml Work

ocaml

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

Callbags with batteries included

bucklescript callbag ocaml

Last synced: 09 Nov 2024

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/j14159/ppx_test_match

PPX rewriter to test pattern matches.

ocaml ppx-rewriter testing

Last synced: 09 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/r-cha/tritip

cli for typing practice

cli ocaml typing-practice

Last synced: 20 Jan 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/arata-nvm/tedate

✏I want to learn about functional programming.

interpreter ocaml

Last synced: 08 Jan 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/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/algojobs/ocaml-jobs

The latest OCaml jobs, updated weekly.

jobs jobsearch ocaml software-engineering

Last synced: 21 Jan 2025

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/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/demiazz/advent-of-ocaml

Advent of Code on OCaml

advent-of-code ocaml

Last synced: 21 Jan 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/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/neurocorgi/vm_challenge

Synacor vm challenge solution in Ocaml

ocaml vm

Last synced: 23 Jan 2025

https://github.com/firobe/ocaml-mqtt-eio

Port of mqtt-client to eio

eio mqtt ocaml

Last synced: 23 Jan 2025

https://github.com/claby2/camlcade

🐪🎮 OCaml Game Engine

ecs game-engine ocaml opengl

Last synced: 30 Dec 2024

https://github.com/pombadev/semv

Bump a semver

cli ocaml semver

Last synced: 21 Jan 2025

https://github.com/prawater/monkey_interpreter

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 11 Jan 2025