Topic: type-system Goto Github
Some thing interesting about type-system
Some thing interesting about type-system
type-system,A list of computer-science readings I recommend
User: amilajack
type-system,Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
User: andgate
type-system,Normalization by evaluation for Martin-LΓΆf Type Theory with dependent records
User: brendanzab
type-system,Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
Organization: brimdata
Home Page: https://www.brimdata.io/download/
type-system,Provides a Refl encoding in Rust
User: centril
type-system,Tensor algebra abstract type interoperability setup
User: chakravala
Home Page: https://grassmann.crucialflow.com/dev/design
type-system,Tangent bundle, vector space and Submanifold definition
User: chakravala
Home Page: https://grassmann.crucialflow.com/dev/design
type-system,Cicada Language
Organization: cicada-lang
Home Page: https://cicada-lang.org
type-system,Cicada Language (solo version)
Organization: cicada-lang
Home Page: https://cicada-lang.org
type-system,Fearless hardware design
Organization: cucapra
Home Page: http://filamenthdl.com/
type-system,DMX Knowledge Building Platform
Organization: dmx-systems
Home Page: https://dmx.berlin
type-system,Type System for Data Analysis in Python
Organization: dylan-profiler
Home Page: https://dylan-profiler.github.io/visions/visions/getting_started/usage/types.html
type-system,πΎ Sokoban Game in Pure TypeScript Type System
User: fc01
type-system,Compositional type checking for Haskell
User: gergoerdi
type-system,An ML-like statically-typed Erlang
User: gfngfn
type-system,An implementation of MacroML [Ganz, Sabry & Taha 2001]
User: gfngfn
type-system,C17-based extended standard library, cross-language type system, and unit testing framework targeting Sega Dreamcast, Sony PSP and PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.
User: gyrovorbis
Home Page: http://libgimbal.elysianshadows.com
type-system,π The open-source, self-building database. From @hashintel
Organization: hashintel
Home Page: https://hash.dev
type-system,Algebraic data types for C99
User: hirrolot
type-system,Full-featured interfaces for C99
User: hirrolot
type-system,Hoare Type Theory
Organization: imdea-software
type-system,A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
User: imteekay
Home Page: https://www.iamtk.co/series/the-typescript-compiler
type-system,A Gradual type system for Erlang
User: josefs
type-system,A toy language based on LLVM that implements the System FΟ type-system
User: kit-ty-kate
type-system,ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Organization: kongware
type-system,A PEG Parsing Tool
User: lionelauroux
Home Page: http://pythonhosted.org/pyrser
type-system,Swift type checking and semantic analysis for developer tools
User: maxdesiatov
type-system,Interpreter for simply typed lambda calculus implemented in JavaScript Ξ»
User: mgechev
type-system,A programming language designed for typescript type generation
User: mistlog
Home Page: https://mistlog.github.io/typetype-playground/
type-system,A typed, polyglot, functional language
Organization: morloc-project
type-system,A friendly little systems language with first-class types. Very WIP! π§ π§ π§
Organization: pikelet-lang
Home Page: https://pikelet-lang.github.io/pikelet/
type-system,FΟΞΌ type checker and compiler
User: polytypic
Home Page: https://polytypic.github.io/f-omega-mu/main
type-system,π¬ A simplified implementation of TypeScript's type system written in TypeScript's type system
User: ronami
type-system,π Functions and algorithms implemented purely with TypeScript's type system
User: ronami
type-system,π³ A tiny language interpreter implemented purely in TypeScript's type-system
User: ronami
type-system,Open-hierarchy Fast RTTI framework for C++17 and up with support for multiple inheritance and dynamic casting.
User: royvandam
type-system,Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
User: sdiehl
type-system,A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
User: sdleffler
type-system,A macro for defining type operators in Rust.
User: sdleffler
type-system,A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
User: serradura
Home Page: http://rubygems.org/gems/kind
type-system,Specification of the Formality proof and programming language
Organization: soonad
type-system,Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
User: tazjin
type-system,[WIP] A type system for nix
User: thufschmitt
type-system,Collection of TypeScript type challenges with online judge
Organization: type-challenges
Home Page: https://tsch.js.org/
type-system,Additional types and types adjusted utilities for TypeScript
User: unional
Home Page: https://unional.github.io/type-plus/
type-system,TypeDB: the polymorphic database powered by types
Organization: vaticle
Home Page: https://typedb.com
type-system,TypeQL: the polymorphic query language of TypeDB
Organization: vaticle
Home Page: https://typedb.com
type-system,BackboneJS compatibility layer for Type-R data framework.
Organization: volijs
Home Page: https://volicon.github.io/Type-R/
type-system,Fire up your models with the flame π₯
Organization: vortico
Home Page: https://flama.dev
type-system, π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§
Organization: yeslogic
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.