#
typesystem
Here are 27 public repositories matching this topic...
Functional companion to Kotlin's Compiler
kotlin
meta
code
linter
ide
metaprogramming
macros
generics
template-metaprogramming
intellij-plugin
tree-structure
kotlin-compiler
typeclasses
compiler-plugin
typesystem
quasiquote
codegeneration
union-type
higher-kinded-types
kotlin-multiplatform
-
Updated
Sep 25, 2022 - Kotlin
unicode
typescript
vscode
visual-studio-code
ascii-game
sokoban
string-literals
type
type-system
sokoban-game
typesystem
compiletime
typescript4
template-literal-types
type-gymnastics
-
Updated
Nov 5, 2021 - TypeScript
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
kotlin
meta
code
linter
ide
metaprogramming
macros
generics
template-metaprogramming
intellij-plugin
tree-structure
kotlin-compiler
typeclasses
compiler-plugin
typesystem
quasiquote
codegeneration
union-type
higher-kinded-types
kotlin-multiplatform
-
Updated
Jul 30, 2022 - Kotlin
-
Updated
Jan 1, 2022 - Python
Rubysierung is the type system Ruby deserves
-
Updated
Jul 27, 2015 - Ruby
An implementation of Linear Lambda Calculus.
-
Updated
Apr 16, 2020 - OCaml
A Language for the Specification and Efficient Implementation of Type Systems
-
Updated
Jan 29, 2019 - TeX
Utility package used across Ubermag.
python
windows
macos
linux
docs
binder
jupyter
anaconda
pypi
documentation-tool
units
scientific-computing
micromagnetics
si-units
typesystem
zenodo
horizon2020
bsd-3-clause
epsrc
ubermag
-
Updated
Sep 20, 2022 - Python
Boxing primitive types in C++
-
Updated
Jul 6, 2021 - CMake
Functional programming language with a powerfull typesystem
-
Updated
Jul 23, 2019 - F#
-
Updated
Jan 13, 2019 - C
WIP (very WIP): Linear Typing for Go (master's thesis)
-
Updated
Dec 19, 2017 - Go
Short program to illustrate the use of polymorphic variant in OCaml
-
Updated
Feb 23, 2017 - OCaml
Example app using Starlette, Typesystem, and Databases
-
Updated
Jun 13, 2020 - Python
programming language type systems implemented in Rust
-
Updated
Sep 9, 2021 - Rust
-
Updated
Jan 19, 2020 - Rust
Improve this page
Add a description, image, and links to the typesystem topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typesystem topic, visit your repo's landing page and select "manage topics."