-
Updated
Sep 19, 2016 - OCaml
type-system
Here are 238 public repositories matching this topic...
[READ ONLY] Subtree split of the Railt SDL component (see railt/railt)
-
Updated
Oct 17, 2023 - PHP
-
Updated
Apr 22, 2021 - Racket
make type inference system in python
-
Updated
Dec 7, 2022 - Python
Learning Haskell: Language basic, Type system, Class Types, From functor to Monad, Parallelism for free.
-
Updated
Jun 1, 2023
eti - Extended Type Information for c++
-
Updated
Apr 11, 2024 - C++
-
Updated
Sep 24, 2016 - OCaml
unidiomatic usage of Rust, no linear type, no memory safety 😂
-
Updated
Aug 21, 2016 - Rust
Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer
-
Updated
Oct 29, 2020 - HTML
Programming work for my Senior Initiative project
-
Updated
May 7, 2020 - Haskell
My solutions for the Programming Languages 2 course exercises of the ECE - National Technical University of Athens.
-
Updated
Oct 6, 2018 - C
Typed functional coffeescript / javascript
-
Updated
Oct 18, 2017 - CoffeeScript
-
Updated
Jun 13, 2017 - CSS
Alcuni appunti sul libro "Thinking With Types", di Sandy Maguire
-
Updated
Jun 5, 2019 - Haskell
Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability
-
Updated
Aug 20, 2018 - Java
A numeric tower and related types implemented in Java.
-
Updated
Feb 27, 2023 - Java
Improve this page
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."