Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types type system
type-system
x
types
x
42 search results found
Type Challenges
⭐
38,595
Collection of TypeScript type challenges with online judge
Frege
⭐
3,562
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
Write You A Haskell
⭐
2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Core.typed
⭐
1,237
An optional type system for Clojure
Meta Typing
⭐
764
📚 Functions and algorithms implemented purely with TypeScript's type system
Gradualizer
⭐
591
A Gradual type system for Erlang
Deeptype
⭐
516
Code for the paper "DeepType: Multilingual Entity Linking by Neural Type System Evolution"
Pikelet
⭐
507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Rogue
⭐
496
MOVED - The project is still under development but this page is deprecated.
Typedlua
⭐
445
An Optional Type System for Lua
Ts Json Validator
⭐
337
Let JSON play nicely with Typescript
Type Plus
⭐
333
Additional types and types adjusted utilities for TypeScript
Go Cty
⭐
319
A type system for dynamic values in Go applications
Typed
⭐
317
Improvements to PHP's type system in userland: generics, typed lists, tuples and structs
Kocircuit
⭐
308
Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations
Metatype
⭐
297
Declarative API development platform. Build serverless backends with zero-trust and less code, no matter where and how your (legacy) systems are.
Pgtype
⭐
278
Koptional
⭐
267
Minimalistic Optional type for Kotlin that tries to fit its null-safe type system as smooth as possible.
Pguint
⭐
245
unsigned integer types extension for PostgreSQL
Airtight
⭐
238
a python-like language with hindley-milner-like type system, which is compiled to c
Typetype
⭐
198
A programming language designed for typescript type generation
Morloc
⭐
190
A typed, polyglot, functional language
Visions
⭐
166
Type System for Data Analysis in Python
Lemmy Js Client
⭐
131
A javascript / typescript http and websocket client and type system for Lemmy.
Sesterl
⭐
122
An ML-inspired statically-typed Erlang
Tokio Imap
⭐
115
Tokio-based IMAP implementation
Tarpit Rs
⭐
104
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
Cat Language
⭐
103
Cat - a statically typed functional stack-based programming language
Proposal Pluggable Types
⭐
100
A stage 0 proposal to add a pluggable type system to JavaScript
Coding Standards
⭐
98
Coding Guidelines for C#
Nestedtypes
⭐
94
BackboneJS compatibility layer for Type-R data framework.
Gollvm
⭐
86
LLVM bindings for the Go programming language
Sound And Complete
⭐
81
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
Dkpro Cassis
⭐
79
UIMA CAS processing library written in Python
Ts Checked Fsm
⭐
77
TypeScript library providing compile-time checking for state machine transitions
Typelang
⭐
76
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
Type System
⭐
68
Typology
⭐
68
Swift type checking and semantic analysis for developer tools
Nattlua
⭐
67
luajit with a typesystem
Carrot
⭐
65
Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
Joujou
⭐
64
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
Htt
⭐
63
Hoare Type Theory
Typechef
⭐
63
Type checking ifdef variability
Proposal Optional Types
⭐
60
A proposal for an optional type system for JS.
Pragmatic Type Level Design
⭐
51
Code and materials for my book "Pragmatic Type Level Design"
Directsum.jl
⭐
48
Tangent bundle, vector space and Submanifold definition
Old Gosu Repo
⭐
44
Old Gosu Language repository
Cx
⭐
43
A new programming language for blockchain.
Ftor
⭐
43
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Infrared
⭐
42
✨🚀 Blazing fast, inferred static type checker for JavaScript.
Typenet
⭐
38
A Hierarchical Type system for fine grained entity typing
N4js
⭐
38
Type-Safety of Java & Javascript Flexibility
Type Theory Compiler
⭐
38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Quiverjs
⭐
37
Functional programming for the web
Kind
⭐
36
A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
Automocker
⭐
36
AutoMocker is a Swift framework that leverages the type system to let you easily create mocked instances of your data types.
Type Operators Rs
⭐
35
A macro for defining type operators in Rust.
Vallang
⭐
33
Generic immutable recursive data representation API targeted at source code models and more.
Yants
⭐
33
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Cloudformal
⭐
31
A type-safe CloudFormation DSL, which you can apply changes casually!
Tandoori
⭐
30
Compositional type checking for Haskell
Purescript Localstorage
⭐
29
Access JS webstorage (local & session) in a typesafe and convenient way
Pyrser
⭐
26
A PEG Parsing Tool
Dtype
⭐
26
Proposals and specs for a decentralized type system.
Rtype
⭐
23
A strong type system for R
Reinfer
⭐
23
Runtime Extended Inference for json data.
Hatlog
⭐
23
custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
Webidl Conversions
⭐
23
Implements the Web IDL algorithms for converting to and from JavaScript values
Refl
⭐
22
Provides a Refl encoding in Rust
Aelastics Types
⭐
21
Type system dynamically created at run time. Support for data validation and serialization.
Pooky Api
⭐
21
A Pooky API boilerplate using GraphQL + Express
Ingenr
⭐
18
Lightweight language-agnostic inline code-generation
Plone.app.dexterity
⭐
18
Dexterity is a content type system for Plone
Typelixir
⭐
18
Compile Elixir statically
Floweret
⭐
18
Runtime type annotations for CoffeeScript (and JavaScript too!)
Zeolite
⭐
18
Zeolite is a statically-typed, general-purpose programming language.
Smart_types
⭐
17
A set of objects that acts like types (type checking and type casting) with a support for basic type algebra.
Typewise
⭐
17
Typewise structured sorting for arbirarily complex data structures
Monitored Session Erlang
⭐
16
Supervised Session Actors
Typed Egison
⭐
16
Typedpy
⭐
15
Type-safe, strict Python. Works well with standard Python
Type System J
⭐
15
adds an optional type system to J language
Correct Behavior Through Type Safety
⭐
15
Talk about using types to prove correctness
Typelayout
⭐
15
An experiment in embedding layout computations in the type system.
Rtti
⭐
14
Open-hierarchy custom RTTI for C++17 and up with support for multiple inheritance and dynamic casting.
Commutative
⭐
14
Using Haskell's type system to guarantee commutativity.
Kekka
⭐
14
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
Kanji
⭐
12
A strongly typed GraphQL API framework
Typer
⭐
11
Large-scale analysis of type usage in R.
Minsky
⭐
11
A Minsky Machine in Rust's type system
Frscript
⭐
11
A concatenative scripting language with a type system
Kite
⭐
11
A Haskell-like language for scripting and web apps
Rest
⭐
10
A simple go web request router that respects Go's type system
Elara
⭐
9
Elara is a purely-functional programming language targetting the JVM
Typed Prolog
⭐
9
A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
Tensorflowtypeprovider
⭐
9
This Type Provider aims to eliminate the need for ‘magic strings’ associated with accessing pre-trained Tensorflow Graphs. Typed access to NPY/NPZ is also included.
Typescriptvm
⭐
9
Compile-time emulation of a 4-bit Virtual Machine using TypeScript's Type System
Type System Research
⭐
9
Links to type system research materials
Cosas
⭐
9
necesito esas cosas raras con tipos
Typescript Types Script
⭐
9
for the lolz compiler to perform arbitrary computation in TS type system
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,915)
Java Types (1,598)
C Plus Plus Types (1,260)
Golang Types (1,257)
C Sharp Types (1,175)
Plugin Types (1,152)
Json Types (1,114)
1-42 of 42 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.