sudha247 Goto Github PK

100-days-of-code

Fork this template for the 100 days journal - to keep yourself accountable

affect

Composable concurrency primitives with OCaml effects handlers (unreleased)

algo_ds_notes

It is a repository that is a collection of algorithms and data structures with implementation in various languages.

algorithms

Collection of algorithms in multiple programming languages

algorithms-dpv

attnchaincode

awesome-functional-programming

:alien: A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.

bisect_ppx

Code coverage for OCaml and ReScript

book

V2 of Real World OCaml

camomile

A Unicode library for OCaml

chatterbot-corpus

A multilingual dialog corpus

clojure-by-example

Workshop support material for programmers who are new to Clojure.

coc-presentation

code-samples

code examples

compiler-design-lex-yacc

Different phases of a compiler with lex and yacc

complaintoverflow

A social network (sort of) for Grievance Redressal

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cryptozombies-exercises

cs231n-working-through

Work log of my working through CS231n 2017

cubicle

The Cubicle model checker

dictionary-app

docs

Repo to host general wikis!

domainslib

Parallel Programming over Domains

dscheck

dum

Print OCaml values based on their runtime representation

eio

Effects-based direct-style IO for multicore OCaml

ezhil-lang

எழில் - ஒரு தமிழ் நிரலாக்க மொழி; தமிழ் மாணவர்களுக்கு இது முதல்முறை கணிப்பொறி நிரல் ஏழுத உதவும் (Ezhil, is a fun Tamil programming language for K-12).

flipbook

functory

a distributed computing library for OCaml

hackerrank-fp-challenges