#
typesystem
Here are 23 public repositories matching this topic...
ahinchman1
commented
Dec 16, 2019
Parent issue: #335
Every plugin must be able to use all properties to construct the exact PSI element being fed in to achieve isomorphism between Quote and Scope. To ensure that AST parsing and our quote-and-template system is robust, more testing is needed to increase stability and reliability.
Checklist for WhenExpression
- Destructure and make available all methods related to re
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
Jun 28, 2021 - Kotlin
-
Updated
Jun 8, 2021 - 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
A typesystems library with exaggerated claims.
-
Updated
Mar 1, 2017 - Haskell
Utility package used across Ubermag.
python
windows
macos
linux
docs
binder
jupyter
anaconda
pypi
documentation-tool
units
scientific-computing
pepper
micromagnetics
si-units
typesystem
zenodo
horizon2020
bsd-3-clause
southampton
epsrc
ubermag
fangohr
joommf
-
Updated
Feb 17, 2021 - Python
Functional programming language with a powerfull typesystem
-
Updated
Jul 23, 2019 - F#
-
Updated
Jan 13, 2019 - C
Boxing primitive types in C++
-
Updated
Jul 6, 2021 - CMake
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
Infinity Lang Type System Implementation
-
Updated
Jun 16, 2019 - C++
-
Updated
Jan 19, 2020 - Rust
Report on advancements in Type Theory and application of Program Verification
programming-language
verification
proof-assistant
type-theory
quantum-computing
theory
program-verification
quantum-programming-language
typesystem
theroy-reports
language-verification
-
Updated
Oct 23, 2018 - TeX
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.
-
Updated
Oct 12, 2018 - Java
-
Updated
Feb 7, 2020 - Racket
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."
We have a reasonably good test suite with a lot of unit tests and a few test programs. It's very helpful and I use it all the time. But sadly, there are many cases that are not covered by the test suite. We can make it even more helpful! It'd be wonderful if people wanted to help out with this. It's also a very easy way to help out this project. I'm happy to assist anyone who wants to make a contr