Build software better, together

type-challenges / type-challenges

Star

Collection of TypeScript type challenges with online judge

typescript challenges type type-system

Updated Apr 18, 2022
TypeScript

sdiehl / write-you-a-haskell

Star

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

vaticle / typedb

Star

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 Apr 14, 2022
Java

amilajack / reading

Sponsor

Star

A list of computer-science readings I recommend

computer-science science research compiler static-analysis concurrency parallel-computing reading garbage-collection operating-system type-system academia

Updated Oct 27, 2021

ronami / meta-typing

Star

📚 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

Star

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 Feb 11, 2022
C

pikelet-lang / pikelet

Star

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

Star

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,[]}, ...

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

Star

A programming language designed for typescript type generation

typescript types type type-system

Updated Nov 3, 2021
TypeScript

fc01 / TypeGame

Star

👾 Sokoban Game in Pure TypeScript Type System

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

perdy / flama

Star

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.

Integrate flake8-mypy

Open

Integrate flake8-black

Find more good first issues

yeslogic / fathom

Star

🚧 (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 Apr 14, 2022
Rust

morloc-project / morloc

Star

A typed, polyglot, functional language

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

Updated Feb 22, 2022
Haskell

ronami / typelang

Star

🌳 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

Star

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

unional / type-plus

Star

Additional types and types adjusted utilities for TypeScript

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

Updated Apr 14, 2022
TypeScript

Hirrolot / interface99

Star

Full-featured interfaces for C99

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

Updated Mar 19, 2022
C

vaticle / typeql

Star

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

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

Updated Apr 13, 2022
Starlark

dylan-profiler / visions

Star

Type System for Data Analysis in Python

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

Updated Apr 9, 2022
Python

gfngfn / Sesterl

Star

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

VoliJS / NestedTypes

Star

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

Star

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

cicada-lang / cicada

Star

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 Apr 17, 2022
TypeScript

groupoid / anders

Star

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

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

Updated Apr 12, 2022
Pug

dmx-systems / dmx-platform

Star

DMX Knowledge Building Platform

javascript java vuejs html5 hot-reloading neo4j rest-api application-server vuex osgi web-application knowledge-graph multi-user lucene type-system access-control plugin-architecture desktop-ui window-less stable-views

Updated Apr 15, 2022
Java

brendanzab / rust-nbe-for-mltt

Star

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

Star

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

Star

[WIP] A type system for nix

nix nixos wip type-system

Updated Jul 11, 2019
OCaml

sdleffler / type-operators-rs

Star

A macro for defining type operators in Rust.

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

Updated Mar 16, 2017
Rust

kongware / ftor

Star

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

type-system

Here are 196 public repositories matching this topic...

type-challenges / type-challenges

sdiehl / write-you-a-haskell

vaticle / typedb

amilajack / reading

ronami / meta-typing

Hirrolot / datatype99

pikelet-lang / pikelet

josefs / Gradualizer

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

Unify single-clause and multiple-clause function representation

Include files for autoimported files are not found

mistlog / typetype

fc01 / TypeGame

perdy / flama

Integrate flake8-isort

Integrate flake8-mypy

Integrate flake8-black

yeslogic / fathom

morloc-project / morloc

ronami / typelang

sdleffler / tarpit-rs

unional / type-plus

Hirrolot / interface99

vaticle / typeql

dylan-profiler / visions

gfngfn / Sesterl

VoliJS / NestedTypes

kit-ty-kate / labrys

cicada-lang / cicada

groupoid / anders

dmx-systems / dmx-platform

brendanzab / rust-nbe-for-mltt

MaxDesiatov / Typology

thufschmitt / tix

sdleffler / type-operators-rs

kongware / ftor

Improve this page

Add this topic to your repo