Projects in Awesome Lists tagged with typesystem
A curated list of projects in awesome lists tagged with typesystem .
https://github.com/arrow-kt/arrow-meta
Functional companion to Kotlin's Compiler
code codegeneration compiler-plugin generics higher-kinded-types ide intellij-plugin kotlin kotlin-compiler kotlin-multiplatform linter macros meta metaprogramming quasiquote template-metaprogramming tree-structure typeclasses typesystem union-type
Last synced: 15 May 2025
https://github.com/metatypedev/metatype
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
api backend-for-frontend composition gateway graphql materializer meta policy rest runtime serverless types typesystem wasm
Last synced: 11 Apr 2025
https://github.com/fc01/TypeGame
👾 Sokoban Game in Pure TypeScript Type System
ascii-game compiletime sokoban sokoban-game string-literals template-literal-types type type-gymnastics type-system typescript typescript4 typesystem unicode visual-studio-code vscode
Last synced: 27 Mar 2025
https://github.com/CapsAdmin/NattLua
luajit with a typesystem
analyzer lua luajit typesystem
Last synced: 10 May 2025
https://github.com/capsadmin/nattlua
luajit with a typesystem
analyzer lua luajit typesystem
Last synced: 07 Apr 2025
https://github.com/typefox/typir
Typir is an open source library for type checking in the web
Last synced: 13 May 2025
https://github.com/rigour-labs/rigour
Local-first quality gate + fix-loop controller for AI coding agents (CLI + MCP).
agentic-workflow ai ai-agents cli code-quality developer-productivity devtools guardrails lint llm mcp model-context-protocol refactoring software-engineering static-analysis testing typescript typesystem
Last synced: 25 Feb 2026
https://github.com/doodzik/rubysierung
Rubysierung is the type system Ruby deserves
ruby ruby-types softtyping typesystem
Last synced: 23 Apr 2025
https://github.com/psub/master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
automated-theorem-provers domain-specific-language master-thesis typesystem
Last synced: 05 Mar 2025
https://github.com/ubermag/ubermagutil
Utility package used across Ubermag.
anaconda binder bsd-3-clause docs documentation-tool epsrc horizon2020 jupyter linux macos micromagnetics pypi python scientific-computing si-units typesystem ubermag units windows zenodo
Last synced: 21 Oct 2025
https://github.com/julian-klode/lingolang
WIP (very WIP): Linear Typing for Go (master's thesis)
Last synced: 13 Jun 2025
https://github.com/slamko/zic
A set of Zig-inspired macros for type-based error handling in C
error-handling framework header-only macros preprocessor programming-language typesystem zig
Last synced: 14 Mar 2025
https://github.com/jordaneremieff/starlette-typesystem-databases-example
Example app using Starlette, Typesystem, and Databases
asyncio databases python sqlalchemy starlette typesystem
Last synced: 04 Mar 2025
https://github.com/fortuneglobe/types
Basic type classes wrapping scalar values
library typesystem valueobject
Last synced: 13 Dec 2025
https://github.com/jaforbes/never-never
Never Never
fp leftpad testing types typesystem
Last synced: 13 Aug 2025
https://github.com/mransan/rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
Last synced: 26 Oct 2025
https://github.com/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
Last synced: 24 Feb 2025
https://github.com/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
Last synced: 07 May 2025
https://github.com/lopalma/juno-lang
Juno: a *very* strongly typed, interpreted language that targets the JVM.
amateur c-like compiler hobby java jvm typesystem
Last synced: 06 Oct 2025
