Topic: typesystem Goto Github
Some thing interesting about typesystem
Some thing interesting about typesystem
typesystem,π | Simple type system repl the paper Typing Haskell in Haskell
User: aripiprazole
typesystem,Functional companion to Kotlin's Compiler
Organization: arrow-kt
Home Page: https://meta.arrow-kt.io
typesystem,Some examples for Ξrrow Meta the functional companion to Kotlin's Compiler & IDE.
Organization: arrow-kt
typesystem,A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.
User: arthurweinmann
typesystem,programming language type systems implemented in Rust
User: ayaskovets
typesystem,Typesafe bindings for :star: Spark.NET
User: bmazzarol
Home Page: https://bmazzarol.github.io/TypedSpark.NET/
typesystem,This project allowes to programatically define, use and validate a generic typesystem consisting of types, attributes and items. Furthermore there a some services which may be customized to your own project needs.
User: christiangroth
typesystem,Boxing primitive types in C++
Organization: contour-terminal
typesystem,Rubysierung is the type system Ruby deserves
User: doodzik
Home Page: http://dudzik.co
typesystem,Yet Another Language is a pure functional language written in Haskell
User: eloign
typesystem,πΎ Sokoban Game in Pure TypeScript Type System
User: fc01
typesystem,Basic type classes wrapping scalar values
Organization: fortuneglobe
typesystem,Example app using Starlette, Typesystem, and Databases
User: jordaneremieff
typesystem,A Gradual type system for Erlang
User: josefs
typesystem,WIP (very WIP): Linear Typing for Go (master's thesis)
User: julian-klode
Home Page: http://lingolang.jak-linux.org/
typesystem,
User: kdnk
Home Page: https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/
typesystem,Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
Organization: metatypedev
Home Page: https://metatype.dev
typesystem,Short program to illustrate the use of polymorphic variant in OCaml
User: mransan
typesystem,An implementation of Linear Lambda Calculus.
User: na0214
typesystem,A Language for the Specification and Efficient Implementation of Type Systems
User: psub
typesystem,Infinity Lang Type System Implementation
User: ramblingmadman
typesystem,Report on advancements in Type Theory and application of Program Verification
User: satyendrabanjare
typesystem,A set of Zig-inspired macros for type-based error handling in C
User: slamko
typesystem,A repository to store examples that helps developing object immutability type system
User: topnessman
typesystem,Typir is a library for building type systems
Organization: typefox
typesystem,Utility package used across Ubermag.
Organization: ubermag
Home Page: http://ubermag.github.io
typesystem,hindley-milner algorithm
User: veera-sivarajan
typesystem,Functional programming language with a powerfull typesystem
User: wimjongeneel
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.