Stars
17
Forks
4
Language
TeX
Last Updated
Jan 12, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
OCaml | 5 | Types and Programming Languages | Aug 21, 2019 | |
Haskell | 26 | Types and Programming Languages (TAPL) | Mar 15, 2023 | |
OCaml | 8 | Types and programming languages in reason | Aug 19, 2021 | |
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 | |
Go | 27 | Using ML to recognize programming languages | Jun 29, 2022 | |
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 | |
Pascal | 2 | Project of Programming Languages subject using Pascal and C | Nov 06, 2022 | |
OCaml | 21 | Regular languages in types | Nov 04, 2022 | |
OCaml | 17 | Programming languages | Mar 24, 2023 | |
C++ | 3 | Hello World print using different programming languages | Nov 30, 2022 | |
C | 17 | Calculating prime numbers using different programming languages | May 06, 2022 | |
Scheme | 2 | Programming Languages: Application and Interpretation | Feb 02, 2015 | |
None | 6 | Using different algorithms and programming languages to solve ODEs and PDEs | Jun 24, 2020 | |
Haskell | 3 | ⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages! | Mar 09, 2022 | |
Agda | 19 | Interactive and object-oriented programming in Agda using coinductive types | Feb 23, 2021 | |
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 | |
C++ | 10 | Implementation of Data Structures and Algorithms using C/C++ Programming Languages. | Mar 24, 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 | |
C | 184 | Tiny documentation generator for 60 programming languages. Using Markdeep. | Jul 18, 2022 | |
None | 2 | Reporting/tracking custom events using server side programming languages | Jan 16, 2023 |