#

type-system

Here are 194 public repositories matching this topic...

type-challenges

type-challenges / type-challenges

Collection of TypeScript type challenges with online judge

typescript challenges type type-system

Updated Jun 2, 2022
TypeScript

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation

Updated Jan 11, 2021
Haskell

typedb

vaticle / typedb

TypeDB: a strongly-typed database

database graph logic inference knowledge-graph graph-theory graph-database graphdb knowledge-base type-system strongly-typed graph-visualisation relational knowledge-representation reasoning enterprise-knowledge-graph hyper-relational typedb typeql

Updated Jun 1, 2022
Java

ronami / meta-typing

📚 Functions and algorithms implemented purely with TypeScript's type system

learning typescript functional algorithms example recursion type-system

Updated Feb 13, 2022
TypeScript

Hirrolot / datatype99

Algebraic data types for C99

pattern-matching c99 metaprogramming algebraic-data-types introspection adt type-system variant derive algebraic sum-types reflection-library tagged-unions metalang99

Updated May 24, 2022
C

pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧

🚧

🚧

programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records

Updated May 16, 2021
Rust

josefs / Gradualizer

Open

No pick_value(pid(), ...) clause present

22

erszcz commented Mar 23, 2022

Another crash from #373:

apps/aecore/src/aec_peers.erl
escript: exception error: no function clause matching
                 gradualizer_lib:pick_value({type,0,pid,[]}, ...

Read more

bug good first issue

Open

Unify single-clause and multiple-clause function representation

2

Open

Include files for autoimported files are not found

Find more good first issues

mistlog / typetype

A programming language designed for typescript type generation

typescript types type type-system

Updated Nov 3, 2021
TypeScript

flama

perdy / flama

Open

Integrate flake8-isort

perdy commented Feb 17, 2022

Add flake8-isort to current flake8 configuration to remove the necessity of running isort on CI.

Read more

good first issue refactor

Open

Integrate flake8-black

Open

Integrate flake8-docstrings

Find more good first issues

yeslogic / fathom

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

language rust parser dependent-types compiler binary-data dsl declarative data-description-language type-system statically-typed type-checker binary-format dependent-record-types

Updated Jun 2, 2022
Rust

morloc-project / morloc

A typed, polyglot, functional language

language programming-language interoperability polyglot code-generation ontologies type-system functional-language

Updated Feb 22, 2022
Haskell

ronami / typelang

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

learning typescript compiler functional-programming recursion type-system

Updated Oct 28, 2020
TypeScript

sdleffler / tarpit-rs

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

rust types rust-language type-system turing-tarpit turing-completeness

Updated Apr 3, 2017
Rust

Hirrolot / interface99

Full-featured interfaces for C99

c99 oop metaprogramming macros generic-programming object-oriented polymorphism typeclasses type-system dynamic-dispatch metalang99

Updated May 15, 2022
C

unional / type-plus

Additional types and types adjusted utilities for TypeScript

typescript utilities types npm-package typescript-definitions type-system

Updated Jun 2, 2022
TypeScript

typeql

vaticle / typeql

TypeQL: the query language of TypeDB - a strongly-typed database

query database logic inference type-system strongly-typed query-language reasoning typedb typeql

Updated May 20, 2022
Starlark

dylan-profiler / visions

Type System for Data Analysis in Python

python data-science spark numpy pandas data-analysis type-system type-inference hacktoberfest

Updated May 26, 2022
Python

gfngfn / Sesterl

An ML-like statically-typed Erlang

programming-language erlang ocaml actor-model monad concurrent-programming type-system process-calculus statically-typed module-system f-ing-modules sesterl

Updated Jan 17, 2022
OCaml

cicada-lang / cicada

Cicada Language

language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

Updated May 31, 2022
TypeScript

VoliJS / NestedTypes

BackboneJS compatibility layer for Type-R data framework.

serialization models observable backbone reactive-programming schema-validation data-management type-system nestedtypes

Updated May 6, 2021
HTML

kit-ty-kate / labrys

A toy language based on LLVM that implements the System Fω type-system

language programming-language compiler llvm ocaml toy-language type-system

Updated Mar 5, 2022
OCaml

groupoid / anders

🧊 Модальний Гомотопічний Прувер

dependent-types proof-assistant cubical-type-theory type-system theorem-prover type-checker mltt

Updated Apr 12, 2022
Pug

dmx-systems / dmx-platform

DMX Knowledge Building Platform

Updated May 31, 2022
Java

brendanzab / rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking

Updated Jun 22, 2019
Rust

MaxDesiatov / Typology

Sponsor

Swift type checking and semantic analysis for developer tools

swift developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

Updated Mar 16, 2022
Swift

thufschmitt / tix

[WIP] A type system for nix

nix nixos wip type-system

Updated Jul 11, 2019
OCaml

sdleffler / type-operators-rs

A macro for defining type operators in Rust.

rust dsl macros type-system type-level type-level-programming

Updated Mar 16, 2017
Rust

imdea-software / htt

Hoare Type Theory

linked-list coq type-system hoare-logic hoare-monads separation-logic

Updated Jun 1, 2022
Coq

kongware / ftor

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

javascript functional-programming tuples composition immutability recursion higher-order-functions polymorphism currying type-system lazy-evaluation hindley-milner purity sum-types unification combinators parametric-polymorphism tagged-unions scott-encoding row-polymorphism

Updated Mar 9, 2018
JavaScript

chakravala / DirectSum.jl

Sponsor

Tangent bundle / vector space category and functors

math linear-algebra category-theory differential-geometry tensors type-system manifold tensor-algebra abstract-algebra manifolds

Updated Feb 7, 2022
Julia

Improve this page

Add a description, image, and links to the type-system 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 type-system topic, visit your repo's landing page and select "manage topics."