🇮🇳 Made in India
Discover India's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of India.
TOP OCaml Projects
threepointone/bs-nice
css-in-reason
utkarshkukreti/reaml
A React binding for (OCaml | ReasonML) + BuckleScript with compile time enforcement of the "Rules of Hooks". Live Examples: https://reaml.netlify.com
TheAlgorithms/OCaml
Algorithms Implemented in OCaml
kayceesrk/ezirmin
An easy interface on top of the Irmin library.
utkarshkukreti/bs-preact
Deprecated in favor of https://github.com/utkarshkukreti/reaml, which has more features, works with the latest BuckleScript, and can be used with both React and Preact.
techcentaur/Krivine-Machine
Abstract krivine machine implementing call-by-name semantics. In OCaml.
jbhoot/pin-unpin-tab
Firefox add-on to pin or unpin current tab in more efficient ways.
kayceesrk/ocaml-aeio
Asynchronous effect based IO
SumitPadhiyar/confuzz
Concurrency property fuzzing tool for Lwt-based OCaml programs
turakuapp/turaku-client
Web / Electron client application for Turaku
jbhoot/enforce-browser-fonts
A Firefox extension to easily toggle between browser fonts and webpage fonts
Sudha247/ocaml-joy
kayceesrk/ocaml15-eff
Examples for Algebraic Effects talk at OCaml'15 Workshop
mistyharsh/bs-rx
Rx.js binding for BuckleScript/Reason
ManasJayanth/reason-on-multicore
Writing multicore programs with Reason
Sudha247/ocaml5-tutorial-icfp-22
kayceesrk/irmin-datatypes
A collection of functional, mergeable datatypes for Irmin
prismlab/irmin-scylla
implementation of irmin-scylla
utkarshkukreti/bs-preact-starter
Deprecated in favor of https://github.com/utkarshkukreti/reaml, which has more features, works with the latest BuckleScript, and can be used with both React and Preact.
ManasJayanth/esy-hello-native-ctypes
kayceesrk/delimcc_of_fxhandler
Delimcc primitives from OCaml 5 effect handlers
divyankachaudhari/ocaml-practice-exercises
Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform
kayceesrk/reify_reflect_concurrency
(Monadic) reflections on concurrency
Sudha247/lwt-multicore
Lwt with Multicore support
jbhoot/spiced-tea
bucklescript-tea with Melange (Nix workflow)
cosmo-kramer/lam-wasm
Lambda calculus (refs + refinement types) to web assembly compiler with cool security guarantees.
debasishg/tradeioml
DDD for trading using OCaml
JagratPatkar/Lamb
λ Dynamically Typed, Interpreted Functional Programming Language
kayceesrk/async-io-handler
Asynchronous IO with effect handlers
kayceesrk/httpaf
A high performance, memory efficient, and scalable web server written in OCaml
kayceesrk/mergeable-vector
Mergeable vectors with operational transformation
tanishqg5325/Prolog-Interpreter
Prolog Interpreter in OCaml
saurabhs92/logic-and-functional-programming-iit-delhi
Code for the course Introduction to Logic and Functional Programming - CSL765 - 2015-16 I Sem (Prof. Sanjiva Prasad)
kayceesrk/ocamlopt-afl
Fuzzing ocamlopt.opt
debasishg/dddml
an exercise with functional DDD and OCaml
mdp0999/ARNEKT-NER-TASK
Telugu, Tamil, Hindi, KannaDa, Malayalam NER tagger with POS tagging. Secured 1st rank(Team Name: rohithkodali). Check accuracy of each language in PNG.
kayceesrk/slacklogger
Bot for logging Slack messages
kiranps/learn-reasonml
Interactive playground for learning reasonml
utkarshkukreti/reaml-starter
A starter for [Reaml](https://github.com/utkarshkukreti/reaml) demonstrating a `useReducer` based Counter.
kayceesrk/ocaml_runtime_stats
jaiverma/mi-home
OCaml stuff for interacting with Mi Air Purifier 3
humblenginr/xtorrent
A BitTorrent client
prismlab/ocaml-gc-hacking
kayceesrk/wasmfx
kiranps/bs-monaco-editor
reason bindings for monaco editor
ManasJayanth/esy-inverted-ctypes-stubs
sujitkc/desktop-calendar
A program that automatically generates a personalised desktop calendar in PDF format for an arbitrary calendar year. The personalisation features include: personal photographs and personal holiday list.
satu0king/Prolog-Interpreter-Ocaml
harigopal/reason-fetch-json-example
ReasonML example demonstrating fetch and JSON parsing using bs-fetch and bs-json
utkarshkukreti/reaml-opinionated-starter
An Opinionated Starter for Reaml which includes Preact, TypeScript, TailwindCSS, Relude, PurgeCSS. Live Demo: https://reaml-opinionated-starter.netlify.com
kayceesrk/code-snippets
Experiements
kayceesrk/eff_delimcc_ocaml
Translations between Eff, Delimcc and Multicore OCaml
haquezameer/cs3110-coursework-fp
Notes + Assignments from CS3110 Data Structures and Functional Programming
tanishqg5325/Lambda-Spreadsheet
Small language for computing on Spreadsheets
tejasbubane/reason-repo-list
Fun reasonML project listing top repos in different languages
Sudha247/code-samples
code examples
dufferzafar/oh-camel
IIT D - COL 765 - Introduction to Logic & Functional Programming by Sanjiva Prasad.
kiranps/codebi
tool to make interactive dashboard
jbhoot/Advent_of_code_2022
Karthik005/filezeus
Cloud management software written in OCaml with Merkle tree based file verification.
sujitkc/PL
Instructional code for teaching Programming Languages and related courses (e.g. Compilers)
chetnashah/ocaml-practice-work
anbarasiu/git-starred-issues
List down issues in the starred repos
tejasbubane/reason-todo-old
Small todo app with reasonml
ankurshaswat/COL226
COL226 Assignment files
skulltech/programming-languages-assignments
Assignments and code written for course COL226 (Programming Languages) of IIT Delhi.
psibi/reasonml-prototype
Prototype demo using Reason ML + React + Router
utkarshkukreti/bucklescript-minimal-starter
djin31/Programming_Language_Assignments
techcentaur/COL226-Assignments
The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.
DivyanshuSaxena/Prolog-Interpreter
f0rr0/hacker-news-re
tejasbubane/reason-todo
Basic Todo App in ReasonML
tanoybhattacharya/Teradata-Utilities-Script
Teradata Sample Utilities script
kaivu1999/krivine_secd_machines
This was for assignment of course COL226
aditnryn/my-reason-react-app
wawhal/reasonml-chillz
Chilling with ReasonML
kiranps/finding-falcone
skulltech/logic-assignments
Assignments for the course COL703 — Logic for Computer Science @ IIT Delhi.
SukritiGupta/Logic
Logic for Computer Science course projects
kiranps/country-select
vaivaswatha/OCamlCppExn
Experimental setup for OCaml C++ interfacing
iamkeyur/MonadicParser
A small parser combinator library written in OCaml
s7rthak/Prolog-interpreter-in-OCaml
Prolog-Interpreter-in-OCaml
Sudha247/dictionary-app
iamzubin/doggoScript
Programming language
jaiverma/ocaml-learn
jaiverma/fp
Learning fp with OCaml
jaiverma/aoc2020-ocaml
Learning OCaml with advent of code 2020
ManasJayanth/demo-esy-libpng-configurator
Demo'ing libpng with esy on Windows
jaiverma/cs6120
Cornell CS 6120 self-guided compiler course
SumitPadhiyar/parafuzz
Concurrency property fuzzing tool for multicore OCaml programs
jaiverma/beam
geekpradd/AoC-OCaml-2020
Advent of Code 2020 Solutions in OCaml
ManasJayanth/dune-without-opam-file
Dune project without opam file example
sujitkc/ocamltimetable
A timetable generation program in OCaml
cvarad/apjo
Applicative-based Parser for JSON in OCaml
rounakdatta/smolgrad.ml
what the grad!
gargakshit/ox
Lox interpreter in ocaml
rikashore/kombucha
A collection of "microbrews", small scale projects intended to be integrated into larger machinery