#

typesystem

Here are 21 public repositories matching this topic...

josefs / Gradualizer

Star

A Gradual type system for Erlang

erlang type-system typesystem

Updated Jun 5, 2020
Erlang

arrow-kt / arrow-meta

Star

Functional companion to Kotlin's Compiler

Updated Aug 4, 2020
Kotlin

arrow-kt / arrow-meta-examples

Star

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

Updated Jul 17, 2020
Kotlin

doodzik / rubysierung

Star

Rubysierung is the type system Ruby deserves

ruby ruby-types typesystem softtyping

Updated Jul 27, 2015
Ruby

foxmask / yeoboseyo

Star

🐍

💡 The bus 🚌 for your internet services

rss automation orm microservice self-hosted mastodon typesystem joplin starlette

Updated Jul 28, 2020
Python

na0214 / linear-lambda-calculus

Star

An implementation of Linear Lambda Calculus.

ocaml lambda-calculus typesystem

Updated Apr 16, 2020
OCaml

pSub / master-thesis

Star

A Language for the Specification and Efficient Implementation of Type Systems

master-thesis domain-specific-language typesystem automated-theorem-provers

Updated Jan 29, 2019
TeX

ubermag / ubermagutil

Star

Python utilities 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 Jun 11, 2020
Python

Lokidottir / typerbole

Star

A typesystems library with exaggerated claims.

lambda-calculus typesystem lambda-cube

Updated Mar 1, 2017
Haskell

drm343 / TaPL-implement

Star

smalltalk tapl typesystem

Updated Jan 13, 2019
C

JAForbes / never-never

Star

Never Never

testing types fp leftpad typesystem

Updated Jun 12, 2017
JavaScript

mransan / rules-of-time

Star

Short program to illustrate the use of polymorphic variant in OCaml

ocaml typesystem

Updated Feb 23, 2017
OCaml

julian-klode / lingolang

Star

WIP (very WIP): Linear Typing for Go (master's thesis)

go golang linear typesystem

Updated Dec 19, 2017
Go

fortuneglobe / types

Star

Basic type classes wrapping scalar values

library typesystem valueobject

Updated Nov 13, 2017
PHP

WimJongeneel / fs-functional-lang-interpreter

Star

Functional programming language with a powerfull typesystem

lambda functional-programming repl typesystem intrepreter

Updated Jul 23, 2019
F#

jordaneremieff / starlette-typesystem-databases-example

Star

Example app using Starlette, Typesystem, and Databases

python sqlalchemy databases asyncio typesystem starlette

Updated Jun 13, 2020
Python

RamblingMadMan / ilang-types

Star

Infinity Lang Type System Implementation

programming-languages c-plus-plus-17 typesystem

Updated Jun 16, 2019
C++

kdnk / copl_solver

Star

rust proof typesystem copl

Updated Jan 19, 2020
Rust

christiangroth / generic-typesystem

Star

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.

java generic-programming java-8 datamodel typesystem

Updated Oct 12, 2018
Java

lschuetze / plt-redex-fej

Star

paper roles typesystem operational-semantics

Updated Feb 7, 2020
Racket

SatyendraBanjare / Type-Theory-notes

Star

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

Improve this page

Add a description, image, and links to the typesystem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the typesystem topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.