typesystem

There are 0 repository under typesystem topic.

josefs / Gradualizer
A Gradual type system for Erlang
typesystem type-system erlang
Language:Erlang 618
arrow-meta
arrow-kt / arrow-meta
Functional companion to Kotlin's Compiler
metaprogramming quasiquote template-metaprogramming compiler-plugin kotlin-compiler kotlin kotlin-multiplatform typesystem macros linter tree-structure codegeneration code generics union-type higher-kinded-types typeclasses meta ide intellij-plugin
Language:Kotlin 409
metatypedev / metatype
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
api composition gateway graphql rest backend-for-frontend serverless meta types materializer policy runtime typesystem wasm
Language:Rust 399
TypeGame
fc01 / TypeGame
👾 Sokoban Game in Pure TypeScript Type System
typesystem typescript compiletime string-literals vscode type-system type typescript4 template-literal-types visual-studio-code type-gymnastics sokoban sokoban-game unicode ascii-game
Language:TypeScript 285
NattLua
CapsAdmin / NattLua
luajit with a typesystem
analyzer lua luajit typesystem
Language:Lua 103
veera-sivarajan / type-inferencer
hindley-milner algorithm
hindley-milner rust typesystem
Language:Rust 62
arrow-kt / arrow-meta-examples
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
metaprogramming quasiquote template-metaprogramming compiler-plugin kotlin-compiler kotlin kotlin-multiplatform typesystem macros linter tree-structure codegeneration code generics union-type higher-kinded-types typeclasses meta ide intellij-plugin
Language:Kotlin 58
TypeFox / typir
Typir is an open source library for type checking in the web
typesystem
Language:TypeScript 45
contour-terminal / boxed-cpp
Boxing primitive types in C++
typesystem cplusplus-17 header-only code-quality
Language:C++ 15
na0214 / linear-lambda-calculus
An implementation of Linear Lambda Calculus.
lambda-calculus typesystem ocaml
Language:OCaml 15
doodzik / rubysierung
Rubysierung is the type system Ruby deserves
ruby-types typesystem ruby softtyping
Language:Ruby 12
pSub / master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
master-thesis automated-theorem-provers typesystem domain-specific-language
Language:TeX 5
ubermag / ubermagutil
Utility package used across Ubermag.
typesystem ubermag binder python units docs micromagnetics scientific-computing zenodo anaconda pypi macos windows linux jupyter bsd-3-clause documentation-tool si-units epsrc horizon2020
Language:Python 5
bmazzarol / TypedSpark.NET
Typesafe bindings for :star: Spark.NET
dotnet dotnet-core dotnetcore spark spark-sql typesystem
Language:C# 3
julian-klode / lingolang
WIP (very WIP): Linear Typing for Go (master's thesis)
go golang linear typesystem
Language:Go 3
aripiprazole / lisy
📘 | Simple type system repl the paper Typing Haskell in Haskell
typesystem repl haskell
Language:Haskell 2
drm343 / TaPL-implement
typesystem smalltalk tapl
Language:C 2
WimJongeneel / fs-functional-lang-interpreter
Functional programming language with a powerfull typesystem
lambda intrepreter functional-programming repl typesystem
Language:F# 2
fortuneglobe / types
Basic type classes wrapping scalar values
valueobject library typesystem
Language:PHP 1
hesham-cant-fly / lune-lang
Lune is a super set of Lua with an actual type system for type safe applications.
compiler lua transpiler typesafe typesystem
Language:Zig 1
JAForbes / never-never
Never Never
testing fp typesystem types leftpad
Language:JavaScript 1
jordaneremieff / starlette-typesystem-databases-example
Example app using Starlette, Typesystem, and Databases
starlette typesystem databases sqlalchemy asyncio python
Language:Python 1
Lking03x / zig_annotation_system_design
public notes on an "annotation system" for the Zig programming language.
annotations typesystem zig ats-lang dependent-types linear-types tooling interpeter parser software-architecture wip ziglang
1
mransan / rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
ocaml typesystem
Language:OCaml 1
slamko / zic
A set of Zig-inspired macros for type-based error handling in C
error-handling framework macros zig preprocessor header-only programming-language typesystem
Language:C 1
arthurweinmann / tinyveil
A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.
typesystem vanilla-javascript websocket-api
Language:JavaScript 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.
typesystem generic-programming datamodel java java-8
Language:Java 0
eloign / YAL
Yet Another Language is a pure functional language written in Haskell
haskell lambda-calculus functional-programming typesystem
Language:Haskell 0
SatyendraBanjare / Type-Theory-notes
Report on advancements in Type Theory and application of Program Verification
typesystem type-theory proof-assistant quantum-programming-language theroy-reports programming-language quantum-computing verification theory program-verification language-verification
Language:TeX 0
kdnk / copl_solver
proof copl rust typesystem
Language:Rust
LoPalma / juno-lang
Juno: a *very* strongly typed, interpreted language that targets the JVM.
amateur c-like compiler hobby java jvm typesystem
Language:Java
lschuetze / plt-redex-fej
paper typesystem operational-semantics roles
Language:Racket
RamblingMadMan / ilang-types
Infinity Lang Type System Implementation
typesystem programming-languages c-plus-plus-17
Language:C++
topnessman / immutability-example
A repository to store examples that helps developing object immutability type system
immutability typesystem checkerframework object-immutability reference-immutability research