Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: gradual-typing
ymyzk/lambda-rti 📦
Interpreter of the ITGL with runtime type inference
Language: OCaml - Size: 192 KB - Last synced: 1 day ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0
Gradual-Typing/LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Language: Agda - Size: 896 KB - Last synced: about 9 hours ago - Pushed: 1 day ago - Stars: 3 - Forks: 0
orsinium-labs/mypy-baseline
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
Language: Python - Size: 468 KB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 46 - Forks: 6
emacs-elsa/Elsa
Emacs Lisp Static Analyzer and gradual type system.
Language: Emacs Lisp - Size: 2.02 MB - Last synced: about 24 hours ago - Pushed: 10 months ago - Stars: 630 - Forks: 26
erszcz/gradualizer-talk
Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer
Language: HTML - Size: 435 KB - Last synced: 16 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 2
python/typing
Python static typing home. Hosts the documentation and a user help forum.
Language: Python - Size: 2.59 MB - Last synced: 19 days ago - Pushed: 20 days ago - Stars: 1,543 - Forks: 222
Gradual-Typing/Grift
A compiler for the gradually typed lambda calculus
Language: C - Size: 32.8 MB - Last synced: 9 days ago - Pushed: over 2 years ago - Stars: 74 - Forks: 11
gyson/ex_type
A type checker for Elixir
Language: Elixir - Size: 147 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 33 - Forks: 1
kesh-lang/kesh
A simple little programming language that could one day compile to JavaScript.
Language: JavaScript - Size: 451 KB - Last synced: 5 days ago - Pushed: 5 months ago - Stars: 19 - Forks: 0
ashton314/rhombus_dyn
Dynamic annotation for Rhombus
Language: Racket - Size: 10.7 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
DIJamner/paramblame Fork of dbp/funtal
Artifact for ICFP paper "Theorems for Free for Free"
Language: JavaScript - Size: 450 KB - Last synced: 5 months ago - Pushed: almost 7 years ago - Stars: 2 - Forks: 1
qexk/intellipath
IntelliSense-like autocompletion features for string literals in TypeScript
Language: TypeScript - Size: 29.3 KB - Last synced: 14 days ago - Pushed: over 2 years ago - Stars: 6 - Forks: 0
ymyzk/lambda-dti
Interpreter of the ITGL with dynamic type inference
Language: OCaml - Size: 226 KB - Last synced: 1 day ago - Pushed: 2 months ago - Stars: 21 - Forks: 2
ct-gradual-typing/Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
Language: Haskell - Size: 4.22 MB - Last synced: 7 months ago - Pushed: about 7 years ago - Stars: 7 - Forks: 0
brendanberg/L
The L Programming Language
Language: JavaScript - Size: 940 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 18 - Forks: 1
staceytay/gradual-scheme
A simple implementation of the Gradually Typed Lambda Calculus with a Scheme-like syntax in OCaml.
Language: OCaml - Size: 7.81 KB - Last synced: 8 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0
jack-williams/tpd
The Prime Directive
Language: TypeScript - Size: 1.25 MB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0
utopia-group/TypeT5
Seq2seq Type Inference using Static Analysis and CodeT5
Language: Jupyter Notebook - Size: 3.38 MB - Last synced: 9 months ago - Pushed: 10 months ago - Stars: 22 - Forks: 5
Laythe-lang/Laythe
A gradually typed language originally based on the crafting interpreters series
Language: Rust - Size: 31.4 MB - Last synced: 9 months ago - Pushed: 11 months ago - Stars: 63 - Forks: 4
stereobooster/diamondback-ruby
⛑ Fork of diamondback-ruby
Language: Ruby - Size: 2.31 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 71 - Forks: 4
m4xine/lish-old 📦
Gradually typed shell and scripting language
Language: C - Size: 204 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 6 - Forks: 0
khayyamsaleem/gradual-typing
an implementation of gradual typing in mit-scheme
Language: Scheme - Size: 893 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 7 - Forks: 0
Gradual-Typing/benchmarks
Collection of benchmarks for gradually-typed languages
Language: Racket - Size: 1.92 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 4 - Forks: 2
ComputationalReflection/StaDyn
A hybrid static and dynamic typing language for .NET
Language: C# - Size: 6.79 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 1
deyaaeldeen/monotonic
Monotonic References for Gradual Typing in Agda
Language: Agda - Size: 257 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0
Vlad-Shcherbina/hintcheck
Language: Python - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
tpuschel/duality
The Duality Programming Language
Language: C - Size: 2.1 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0
pedroangelo/gradual-intersection-types
A gradually typed language with intersection types
Language: Haskell - Size: 2.46 MB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
ct-gradual-typing/gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Language: TeX - Size: 150 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
ct-gradual-typing/Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
Language: TeX - Size: 38.4 MB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 10 - Forks: 0
sami-badawi/visionql
Queries to computer vision json results in TypeScript
Language: TypeScript - Size: 134 KB - Last synced: 12 days ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0
pedroangelo/interpreter
An interpreter written in Haskell for a gradually typed functional language
Language: Haskell - Size: 175 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 0
marcoonroad/gradient
Gradual Typing encoding for Scala.
Language: Scala - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0
overlogged/refinement.js
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
Language: JavaScript - Size: 10.6 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 5 - Forks: 0
ilyasergey/Gradual-Ownership
Experimental implementation of Gradual Ownership Types for Java 1.4
Size: 1.41 MB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 1 - Forks: 0