Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Tex Ocaml Open Source Projects

Open source projects categorized as Tex Ocaml
Milewski Ctfp Pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Ixy Languages ⭐ 2,077
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
most recent commit a year ago
Bnfc ⭐ 551
BNF Converter
total releases 27most recent commit 3 months ago
Ocamlunix ⭐ 219
Unix system programming in OCaml book
most recent commit 6 years ago
Ocaml Cheat Sheets ⭐ 96
OCaml Documentations as one-pagers, easy to keep useful commands in mind
most recent commit 4 years ago
Obts_exn ⭐ 28
OCaml behind the scenes: exceptions
most recent commit 7 months ago
Real World Idris ⭐ 25
Malfunction backend for Idris with a FFI to OCaml
most recent commit 5 years ago
Numlin ⭐ 23
NumLin: Linear Types for Linear Algebra
most recent commit a year ago
Notes ⭐ 14
notes I've made from books I've read, courses I've taken etc
most recent commit 3 months ago
Ocaml Manual Cn ⭐ 13
OCaml 文档中文版
most recent commit 5 years ago
Ant ⭐ 10
ant is not TeX
most recent commit 8 years ago
Ecc Ocaml ⭐ 9
Elliptic Curves Cryptography for OCaml
most recent commit 5 years ago
Ocaml Hyphenate ⭐ 8
OCaml module for the hyphenation of words based on TeX hyphenation patterns
most recent commit 9 years ago
Chaml ⭐ 6
An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize variables inside patterns. See my master's thesis report for details.
most recent commit 10 years ago
Wikidoc ⭐ 6
Convert OCaml documentation to wiki.
most recent commit 2 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.