Collection of TypeScript type challenges with online judge
-
Updated
May 29, 2023 - TypeScript
#
type-system
Here are 213 public repositories matching this topic...
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
May 27, 2023 - Java
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
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
Aug 30, 2022
learning
parser
typescript
functional-programming
static-code-analysis
example
recursion
type-system
-
Updated
Jul 27, 2022 - TypeScript
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
data
csv
data-viz
data-analytics
electron-app
data-wrangling
type-system
zed
json-inspector
zui
table-view
keyword-search
zq
zng
super-structured-data
-
Updated
May 26, 2023 - TypeScript
-
Updated
Dec 5, 2022 - TypeScript
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
Mar 11, 2023 - C
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
A programming language designed for typescript type generation
-
Updated
Jun 4, 2022 - TypeScript
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
language
programming-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 21, 2023 - Rust
Additional types and types adjusted utilities for TypeScript
-
Updated
May 29, 2023 - TypeScript
Fire up your models with the flame
api
components
machine-learning
crud
schema
rest
dependency-injection
restful
swagger
openapi
marshmallow
type-system
apispec
starlette
ml-ops
starlette-api
-
Updated
May 11, 2023 - Python
Full-featured interfaces for C99
c99
oop
metaprogramming
macros
generic-programming
object-oriented
polymorphism
typeclasses
type-system
dynamic-dispatch
metalang99
-
Updated
Mar 11, 2023 - C
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
-
Updated
Apr 3, 2017 - Rust
-
Updated
Oct 28, 2020 - TypeScript
TypeQL: the query language of TypeDB - a strongly-typed database
-
Updated
May 26, 2023 - Java
A typed, polyglot, functional language
language
programming-language
interoperability
polyglot
code-generation
ontologies
type-system
functional-language
-
Updated
May 29, 2023 - Haskell
Improve this page
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
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."