https://github.com/lost22git/hello

bun crystal cyber gleam go hare lobster lua nim ocaml odin roc rust zig

Last synced: 14 Jan 2025

https://github.com/cfcs/nvlist

Sun/Solaris serialization format library

ocaml serialization-library solaris zfs zfs-filesystem

Last synced: 17 Jan 2025

https://github.com/mbarbin/provider

Dynamic Dispatch with Traits

dynamic-dispatch ocaml parametrization trait

Last synced: 12 Oct 2024

https://github.com/c-cube/irky

[wip] IRC client for OCaml

client irc ocaml openssl

Last synced: 17 Jan 2025

https://github.com/jfeser/ocaml-cmph

Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)

hashing mphf ocaml perfect-hash

Last synced: 17 Jan 2025

https://github.com/hexaredecimal/koolml

Cool meta language for the web created in python

caml functional-programming javascript metalanguage ocaml programming-language website

Last synced: 24 Dec 2024

https://github.com/paurkedal/spreadsheet-demo

An FRP Experiment

eliom experimental ocaml ocsigen

Last synced: 20 Jan 2025

https://github.com/sano-jin/learn-jsoo

Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

dom-manipulation javascript js-of-ocaml ocaml web-app

Last synced: 21 Jan 2025

https://github.com/FraMecca/ffbench

test different ffmpeg trascoding settings

ffmpeg ocaml org-mode python transcode transcoding

Last synced: 25 Nov 2024

https://github.com/mbarbin/auto-format

Building auto format commands for custom languages

auto-formatter dune dune-fmt fmt ocaml

Last synced: 11 Jan 2025

https://github.com/marekjm/real-world-ocaml-code

Code written while reading "Real World OCaml" (with examples updated to newer Core)

ocaml real-world-ocaml

Last synced: 02 Feb 2025

https://github.com/kuy/perceptron

ocaml perceptron slap

Last synced: 09 Jan 2025

https://github.com/randombit/botan-ocaml

OCaml binding for botan crypto library

botan cryptography ocaml

Last synced: 30 Jan 2025

https://github.com/lebrancconvas/hackerrank-functional-programming

Programming in Functional Programming by using Hackerrank Problem.

clojure elixir erlang fsharp functional-programming hackerrank haskell lisp ocaml racket scala

Last synced: 08 Jan 2025

https://github.com/fizzyelt/ocaml_aoc_2023

advent-of-code ocaml

Last synced: 18 Dec 2024

https://github.com/elzibus/ocaban

Sokoban game in OCaml

game ocaml ocaml-canvas sokoban

Last synced: 14 Jan 2025

https://github.com/kuy/today-anime

I can't keep in mind a day of the week of my favorite animes' broadcast 😇

ocaml

Last synced: 09 Jan 2025

https://github.com/saswatpadhi/ocaml-logicalform

logic logical-forms logical-knowledge-representation ocaml ocaml-library

Last synced: 18 Dec 2024

https://github.com/sealinesun/jsonx

JSON data description and codecs for OCaml (unreleased)

html ocaml shell standard-ml

Last synced: 31 Dec 2024

https://github.com/sealinesun/tsdl

Thin bindings to SDL for OCaml

c ocaml

Last synced: 31 Dec 2024

https://github.com/r17x/r17x

dx engineer frontend javascript ocaml react reactjs reasonml rescript scripting zsh

Last synced: 06 Feb 2025

https://github.com/rizo/jx

External JavaScript language interface for OCaml.

bindings javascript ocaml

Last synced: 27 Jan 2025

https://github.com/smimram/methml

An ML language with methods.

methods ml ocaml

Last synced: 18 Dec 2024

https://github.com/singularityx-ai/penify-oapi-code-gen

OpenAPI specification generator in NodeJS that can generate openapi-specs for multiple languages

csharp go golang java javascript nodejs ocaml php python typescript

Last synced: 18 Dec 2024

https://github.com/nao1215/selfish

selfish - the shell dyed in your selfish colors.

ocaml shell shell-script wip

Last synced: 18 Dec 2024

https://github.com/jchavarri/bs-playground-bundler

Create browser playground embeddable files from BuckleScript compilation cmi/cmj artifacts

bucklescript ocaml reasonml

Last synced: 18 Dec 2024

https://github.com/akabe/ocaml-js-boilerplate

A template repository for OCaml and JavaScript

functional-programming javascript ocaml

Last synced: 18 Dec 2024

https://github.com/radionoisee/bd

Bangumi scraper for bilibili.

bangumi bilibili downloader ocaml

Last synced: 09 Jan 2025

https://github.com/dannywillems/ocaml-bls12-381

Fast BLS12-381 implementation in OCaml

bls-signature bls12-381 blst cryptography fft hash-to-curve ocaml pairing pairing-cryptography poseidon rescue signatures tezos zero-knowledge

Last synced: 12 Oct 2024

https://github.com/sanette/tsdl-ttf

SDL2_ttf bindings for Ocaml with Tsdl

ocaml ocaml-bindings sdl2 sdl2-ttf ttf

Last synced: 22 Jan 2025

https://github.com/davideluque/ocaml-calc

OCaml implementation of a lexical analyzer, a syntactic analyzer, and a simple interpreter to simulate a table calculator.

ci3641 ocaml universidad-simon-bolivar usbve

Last synced: 08 Jan 2025

https://github.com/gourab337/ocaml-ihho

An OCaml implementation of the paper https://www.researchgate.net/project/Improved-Harris-Hawk-Optimization

feature-selection metaheuristic-optimisation ocaml

Last synced: 22 Jan 2025

https://github.com/unikraft/lib-ocaml

OCaml runtime library

library ocaml unikraft unikraft-library

Last synced: 19 Jan 2025

https://github.com/xnyo/minicaml

PR2B@unipi 2019-2020

ocaml

Last synced: 28 Dec 2024

https://github.com/rootmos/ppx_ski

SKI combinator calculus implemented in OCaml

ocaml ppx ski-calculus ski-combinators

Last synced: 26 Jan 2025

https://github.com/vitorebatista/tests-ocaml

My tests with oCaml

dune ocaml

Last synced: 28 Jan 2025

https://github.com/vascorsd/test_app_ocaml

Minimal example trying to use ocaml language

ocaml

Last synced: 28 Dec 2024

https://github.com/kiranandcode/ocaml-pug

Pug(lite) parser & compiler in OCaml

html ocaml pug

Last synced: 25 Dec 2024

https://github.com/valoran-m/miniml

OCaml subset interpreter

interpreter ocaml types

Last synced: 03 Feb 2025

https://github.com/blaketarter/reticky-tacky

A game of tic-tac-toe built with reprocessing.

game ocaml reasonml tic-tac-toe

Last synced: 26 Dec 2024

https://github.com/arc-hugo/debt_calculator

Implementation project of an algorithm computing the max-flow of a flow graph and apply it in a debt calculator app.

flow ford-fulkerson-algorithm functional-programming graph ocaml

Last synced: 24 Jan 2025

https://github.com/red-rapious/static-analyzer

Static Analyzer for a language similar to C, written in OCaml as a projet for the class "Sémantique et Application à la vérification formelle de programmes" of 2024.

ocaml static-analysis static-analyzer

Last synced: 21 Jan 2025

https://github.com/mransan/rules-of-time

Short program to illustrate the use of polymorphic variant in OCaml

ocaml typesystem

Last synced: 29 Jan 2025

https://github.com/nuiipointerexception/nvim

❄️ fast and minimal neovim config.

neovim-config nvim ocaml rust typescript zig

Last synced: 21 Dec 2024

https://github.com/jchavarri/jsoo-is-sorted

Js_of_ocaml bindings to JavaScript library is-sorted

js-of-ocaml ocaml reasonml

Last synced: 29 Jan 2025

https://github.com/tategakibunko/ocaml-mjlib

ocaml mahjong library

game mahjong ocaml

Last synced: 12 Jan 2025

https://github.com/imandra-ai/abstract-transition-systems

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration

cdcl dpll-algorithm formalization ocaml sat smt

Last synced: 22 Jan 2025

https://github.com/esy-ocaml/esy-ci-scripts

Azure CI Pipeline for building esy projects

azure azure-pipelines ci esy ocaml reason reasonml

Last synced: 28 Dec 2024

https://github.com/isaac-defrain/node-debugger

Interactive node simulator for TLA+ specification of Tezos p2p

ocaml tezos tezos-node tla tlaplus

Last synced: 08 Feb 2025

https://github.com/smimram/collage

Make photo collages (to print photobooks).

ocaml photo-collage

Last synced: 18 Dec 2024

https://github.com/pombadev/otag

Opinionated audio metadata editor

id3 music-tagger ocaml

Last synced: 08 Feb 2025

https://github.com/calculationcollective/mlcalculator

calculator ocaml

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/rdck/ocaml-module-introduction

source code for "Introduction to the OCaml Module System"

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

Just some files while I am learning

functional-programming learning ocaml

Last synced: 21 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/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/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/navierula/learningneverends

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

javascript ocaml python r

Last synced: 21 Jan 2025

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/algojobs/ocaml-jobs

The latest OCaml jobs, updated weekly.

jobs jobsearch ocaml software-engineering

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

🐪🎮 OCaml Game Engine

ecs game-engine ocaml opengl

Last synced: 30 Dec 2024

https://github.com/bcc32/countdown

Puzzle solvers for the Countdown game show

ocaml puzzle-solver

Last synced: 11 Jan 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/sagnikc395/project-euler

Project Euler Solutions.

effect ocaml project-euler

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/functional-programming

Some Functional Programming fun in OCaml.

cs3110 functional-programming ocaml plt

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/aeghost/fmtime

Format time in OCaml, should be used with Fmt module

format ocaml time

Last synced: 21 Jan 2025

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

ocaml

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/filipeom/wasm-se-bench

Benchmarking Symbolic Execution tools for Wasm

ocaml python symbolic-execution wasm

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/eratio08/learn-angstrom

Learning about OCaml's Angstrom lib

angstrom monkey-lang ocaml

Last synced: 21 Jan 2025

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

Tiger Compiler 🐅

ocaml tiger tiger-compiler x86-64

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/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/code-help-tutor/ocaml-parser

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

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

Short OCaml code snippets

ocaml

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

Experimenting with docusaurus+odoc

docusaurus ocaml ocaml-mdx odoc

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

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

ocaml password-manager

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/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/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/cosmicboots/ipcf

Intensional PCF interpreter

intensonality interpreter lambda-calculus 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/ggsmith842/crypto-hacks

CTF challenges from the Cryptohack Cryptography course.

cryptography ocaml

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/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/ryloric/bucklescript-fluture

BuckleScript bindings for fluture-js

bucklescript bucklescript-bindings ocaml reasonml

Last synced: 21 Jan 2025

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

OCaml library for bitbucket API

ocaml

Last synced: 21 Jan 2025