Type inference in OCaml
☆40Mar 14, 2015Updated 10 years ago
Alternatives and similar repositories for typeinfer
Users that are interested in typeinfer are comparing it to the libraries listed below
Sorting:
- Self-hosting F#-subset compiler☆48Feb 11, 2025Updated last year
- A localized word dictionary asset for University of Tsukuba☆12Sep 19, 2025Updated 5 months ago
- ☆14Sep 30, 2025Updated 5 months ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 3 months ago
- Embedded Scripting Language Designed for C++☆12Jun 3, 2011Updated 14 years ago
- deiny is web app for web app. under development☆16Updated this week
- Rocker is a minimal docker implementation for educational purposes.☆19Apr 18, 2021Updated 4 years ago
- ☆15Apr 30, 2021Updated 4 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆49Nov 26, 2011Updated 14 years ago
- ☆19Jan 29, 2019Updated 7 years ago
- Mini-Programmable Configuration Language☆17Sep 11, 2024Updated last year
- Machine learning course using Python☆13Apr 26, 2022Updated 3 years ago
- Multi-core suitable Forth-like language☆37Mar 22, 2025Updated 11 months ago
- A Python implementation of the element-wise alternating least squares (eALS) for fast online matrix factorization proposed by arXiv:1708.…☆19Aug 14, 2023Updated 2 years ago
- Eb is a embeddable scripting programming language written in Rust☆18Jun 19, 2021Updated 4 years ago
- 教師なし品詞タグ推定☆16Mar 22, 2018Updated 7 years ago
- Shiranui is new programming language supports live/test driven programming.☆26Oct 20, 2015Updated 10 years ago
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆125Dec 3, 2025Updated 3 months ago
- A Programming Language implemented in JavaScript☆18Feb 11, 2026Updated 3 weeks ago
- ☆20Nov 25, 2020Updated 5 years ago
- コンパイラ・IDE・OS・VMM・IME の開発のための和書☆17Sep 25, 2025Updated 5 months ago
- Zeolite is a statically-typed, general-purpose programming language.☆19Jun 26, 2025Updated 8 months ago
- S-expression pretty-printer☆22Jan 15, 2026Updated last month
- A statically typed functional programming language.☆46Feb 14, 2026Updated 2 weeks ago
- a brief note on extendable and injectable syntax☆21Mar 30, 2016Updated 9 years ago
- A programming language for one-liner method chain lovers!☆25Dec 30, 2023Updated 2 years ago
- self-hosted compiler for a subset of OCaml☆51Jun 12, 2019Updated 6 years ago
- A programming language (WIP)☆29Jun 2, 2024Updated last year
- 質問箱のクローン☆24Aug 1, 2021Updated 4 years ago
- Operating and Language processing system☆28Sep 10, 2021Updated 4 years ago
- Derived from Ypsilon (fujita-y/ypsilon) for experimental research☆27Updated this week
- A functional systems programming language with compile-time memory management☆31Nov 3, 2021Updated 4 years ago
- Wiki for ocaml compiler internals☆49Aug 2, 2013Updated 12 years ago
- The functional programming language for scalable development☆35Jan 5, 2025Updated last year
- A Pint-sized Earley Parser☆33Sep 12, 2024Updated last year
- boostjpサイトのMarkdownソース☆40Dec 10, 2025Updated 2 months ago
- Minimal scripts to reproduce the RADICL-seq analysis of the Nature Communications manuscript☆11Jan 30, 2020Updated 6 years ago
- SML# compiler☆246Dec 8, 2025Updated 2 months ago
- Random Forests in Julia☆30Dec 14, 2015Updated 10 years ago