Topic: "typesystem"
josefs/Gradualizer
A Gradual type system for Erlang
Language: Erlang - Size: 4.61 MB - Last synced at: 12 days ago - Pushed at: 7 months ago - Stars: 618 - Forks: 35
arrow-kt/arrow-meta
Functional companion to Kotlin's Compiler
Language: Kotlin - Size: 21 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 403 - Forks: 43
metatypedev/metatype
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
Language: Rust - Size: 84.5 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 383 - Forks: 13
fc01/TypeGame
πΎ Sokoban Game in Pure TypeScript Type System
Language: TypeScript - Size: 10.7 KB - Last synced at: 30 days ago - Pushed at: over 3 years ago - Stars: 279 - Forks: 2
CapsAdmin/NattLua
luajit with a typesystem
Language: Lua - Size: 7.1 MB - Last synced at: about 12 hours ago - Pushed at: about 13 hours ago - Stars: 98 - Forks: 3
arrow-kt/arrow-meta-examples π¦
Some examples for Ξrrow Meta the functional companion to Kotlin's Compiler & IDE.
Language: Kotlin - Size: 153 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 58 - Forks: 20
veera-sivarajan/type-inferencer
hindley-milner algorithm
Language: Rust - Size: 46.9 KB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 49 - Forks: 1
TypeFox/typir
Typir is an open source library for type checking in the web
Language: TypeScript - Size: 4.01 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 30 - Forks: 7
contour-terminal/boxed-cpp
Boxing primitive types in C++
Language: C++ - Size: 90.8 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 14 - Forks: 3
doodzik/rubysierung
Rubysierung is the type system Ruby deserves
Language: Ruby - Size: 380 KB - Last synced at: 3 days ago - Pushed at: over 9 years ago - Stars: 12 - Forks: 1
ubermag/ubermagutil
Utility package used across Ubermag.
Language: Python - Size: 341 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 5 - Forks: 2
pSub/master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
Language: TeX - Size: 1.6 MB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 1
bmazzarol/TypedSpark.NET π¦
Typesafe bindings for :star: Spark.NET
Language: C# - Size: 497 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
aripiprazole/lisy π¦
π | Simple type system repl the paper Typing Haskell in Haskell
Language: Haskell - Size: 134 KB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
WimJongeneel/fs-functional-lang-interpreter
Functional programming language with a powerfull typesystem
Language: F# - Size: 165 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0
drm343/TaPL-implement π¦
Language: C - Size: 86.9 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
julian-klode/lingolang
WIP (very WIP): Linear Typing for Go (master's thesis)
Language: Go - Size: 638 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
fortuneglobe/types
Basic type classes wrapping scalar values
Language: PHP - Size: 430 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
ayaskovets/typesystems
programming language type systems implemented in Rust
Language: Rust - Size: 102 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
slamko/zic
A set of Zig-inspired macros for type-based error handling in C
Language: C - Size: 194 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
jordaneremieff/starlette-typesystem-databases-example
Example app using Starlette, Typesystem, and Databases
Language: Python - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1
JAForbes/never-never
Never Never
Language: JavaScript - Size: 1.95 KB - Last synced at: 7 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
mransan/rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
Language: OCaml - Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
arthurweinmann/tinyveil
A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.
Language: JavaScript - Size: 5.86 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
eloign/YAL
Yet Another Language is a pure functional language written in Haskell
Language: Haskell - Size: 323 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
lschuetze/plt-redex-fej
Language: Racket - Size: 12.7 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
kdnk/copl_solver
Language: Rust - Size: 2.82 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
RamblingMadMan/ilang-types
Infinity Lang Type System Implementation
Language: C++ - Size: 193 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
SatyendraBanjare/Type-Theory-notes π¦
Report on advancements in Type Theory and application of Program Verification
Language: TeX - Size: 9.51 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
christiangroth/generic-typesystem π¦
This project allowes to programatically define, use and validate a generic typesystem consisting of types, attributes and items. Furthermore there a some services which may be customized to your own project needs.
Language: Java - Size: 234 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
R6/NattLua
luajit with a typesystem
Language: Lua - Size: 8.09 MB - Last synced at: 10 months ago - Stars: 0 - Forks: 0
