Stars
5
Forks
0
Language
OCaml
Last Updated
Aug 21, 2019
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Haskell | 26 | Types and Programming Languages (TAPL) | Mar 15, 2023 | |
OCaml | 8 | Types and programming languages in reason | Aug 19, 2021 | |
TeX | 17 | Mechanizing Types and Programming Languages using Beluga | Jan 12, 2023 | |
OCaml | 3 | exercises from "types and programming languages" (pierce) | Nov 30, 2020 | |
Haskell | 3 | Haskell implementation of the "Types and Programming Languages" | May 18, 2014 | |
Haskell | 3 | Codes for the book " Types and Programming Languages (TaPL)" | Dec 05, 2019 | |
Rust | 100 | Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras! | Aug 08, 2022 | |
Haskell | 3 | Doing some practices in the book Types and Programming Languages | Oct 06, 2021 | |
Clojure | 14 | Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic | Apr 25, 2019 | |
Scheme | 36 | Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic | Apr 09, 2023 | |
Haskell | 3 | Working on exercises from "Types and Programming Languages" by B.C. Pierce | Jan 23, 2018 | |
Scala | 57 | Generate bindings for Scala types in other programming languages. | Jan 12, 2023 | |
Racket | 2 | Programming Languages and Interpretations | Oct 19, 2018 | |
HTML | 3 | Technologies and Programming languages | May 21, 2023 | |
TypeScript | 4 | Yet another collection of implementations of TAPL (Types and Programming Languages) written in TypeScript. | Aug 02, 2021 | |
None | 2 | My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages. | Apr 14, 2024 | |
OCaml | 21 | Regular languages in types | Nov 04, 2022 | |
OCaml | 17 | Programming languages | Mar 24, 2023 | |
Scheme | 2 | Programming Languages: Application and Interpretation | Feb 02, 2015 | |
Haskell | 3 | ⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages! | Mar 09, 2022 | |
Rust | 21 | Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming … | Apr 01, 2023 | |
Haskell | 61 | Refinement Types for Scripting Languages | Mar 16, 2023 | |
None | 10 | Awesome Programming Languages | Jul 25, 2022 | |
Java | 2 | All programming languages | May 27, 2022 | |
OCaml | 1307 | Programming Languages Zoo | Apr 24, 2023 | |
Rust | 2 | Learning programming languages. | Apr 25, 2022 | |
None | 2 | Programming Languages Logos | May 13, 2022 | |
TeX | 2 | Programming Languages Assignments | Feb 17, 2017 | |
Shell | 16 | Programming Languages Benchmarks | Jul 19, 2022 | |
None | 181 | Awesome Programming Languages | Aug 18, 2022 | |
C | 5 | C- Programming Languages | Mar 27, 2023 | |
Python | 28 | Customize programming languages | May 01, 2023 | |
Smalltalk | 3 | Learning Programming Languages | Oct 18, 2022 | |
Java | 3 | Compare Programming Languages | May 07, 2022 | |
JavaScript | 2 | All Programming Languages. | May 01, 2023 | |
Shell | 350 | Programming Languages Logos | May 25, 2023 | |
Rust | 3 | Exploring AmbientTalk and other programming languages. | Dec 05, 2018 | |
None | 2 | Principles and Concepts of Programming Languages | Jun 08, 2023 | |
Java | 6 | This GitHub repository explores the various types of matrix manipulations in various programming languages. | Aug 02, 2022 | |
Java | 2 | A bucket full of test automation examples for various test types, tools, sample apps and … | Aug 03, 2022 | |
CoffeeScript | 52 | Specify additional file types for languages. | Aug 05, 2022 | |
Java | 3 | various programming languages as I am learning new languages and algos. | Mar 10, 2020 | |
Java | 2 | various programming languages as I am learning new languages and algos. | Aug 17, 2021 | |
JavaScript | 2 | Markup Languages and Reproducible Programming in Statistics | Nov 03, 2023 | |
TypeScript | 2 | Programming languages semi-parser | Jul 29, 2022 | |
Agda | 7 | Semantics of Programming Languages | Jul 17, 2022 | |
C | 2 | Low level programming languages | Mar 07, 2023 | |
None | 203 | Programming languages genealogical tree | Aug 27, 2022 | |
C++ | 4 | Programming Languages @ Hanyang Univ. | Oct 08, 2022 | |
Rust | 10 | Programming Languages Intermediate Representation | Apr 30, 2023 |