Topic: hindley-milner Goto Github
Some thing interesting about hindley-milner
Some thing interesting about hindley-milner
hindley-milner,shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
User: 0b01
Home Page: https://tensorscript.org
hindley-milner,Different type inference algorithms implemented in F#
User: 7sharp9
hindley-milner,Kotlin Hindley-Milner type inference with Arrow
User: aedans
hindley-milner,Functional programming inspired by ML for the Erlang VM
Organization: alpaca-lang
hindley-milner,Playing with type systems
User: andreypopp
hindley-milner,A small type inference/checker for a small set of expressions
User: azur1s
hindley-milner,A minimal functional programming language with type inference, algebraic data types and pattern matching
User: bjoernloetters
hindley-milner,Hindley Milner Type Inference in Rust
User: bookowl
hindley-milner,A hobby language for the .NET platform that supports Hindley–Milner type inference.
User: brianberns
hindley-milner,Type inference implementation in OCaml using Algorithm W
User: bynect
hindley-milner,Basic implementation of Hindley-Milner Type System and variants.
User: csabahruska
hindley-milner,Implementation of Hindley-Milner type inference algorithm in Java
User: dnomyar
hindley-milner,Elara is a purely-functional programming language targetting the JVM
Organization: elaralang
hindley-milner,自作言語処理系のコンパイラ制作
User: elipmoc
hindley-milner,Ñuflo is an interpreted functional-logic programming language based on the λU-Calculus.
Organization: fp-baum
hindley-milner,🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
Organization: genivia
hindley-milner,SimpleScript, A Simpler Programming Language (WIP)
User: jaimeloeuf
Home Page: https://github.com/Jaimeloeuf/SS/blob/master/spec.md
hindley-milner,🧐 Another Hindley-Milner implementation in Haskell
User: jmackie
hindley-milner,Gophers All The Way Down
User: joergreinhardt
hindley-milner,Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
User: joshrule
hindley-milner,ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Organization: kongware
hindley-milner,The third iteration of the Lavender programming language, implemented in Rust.
User: kvverti
hindley-milner,A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
User: lambduli
hindley-milner,A statically typed functional language with type inference, ad-hoc polymorphism, and an extensible operator syntax. Influenced by Rust, ML, and Haskell.
User: lctr
hindley-milner,A Hindley-Milner polymorphic typing system
User: lorepozo
Home Page: https://docs.rs/polytype
hindley-milner,Java implementation of Hindley Milner type inference algorithm for lambda calculus.
User: maeln
hindley-milner,Language agnostic type checking framework for language-implementers.
User: mattpaletta
hindley-milner,Swift type checking and semantic analysis for developer tools
User: maxdesiatov
hindley-milner,Template for Hindley-Milner based languages
User: mbg
hindley-milner,Hindley–Milner type inference implemented in Python.
User: milesbarr
hindley-milner,Type System Modeling in Clojure
User: moea
hindley-milner,A minimalist type-inferred programming language with procedural macro support
User: murisi
hindley-milner,Master thesis on developing a static type checker for Erlang
User: nachivpn
hindley-milner,a language for Cultural Articulation
Organization: neighbour-hoods
hindley-milner,A purely functional and statically typed programming language with HM type inference running on JVM.
User: petrizhang
hindley-milner,A simple term-rewriting interpreter that displays intermediate expressions.
User: remexre
hindley-milner,Example implementation of the Hindley-Milner type system
User: rkoeninger
hindley-milner,Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
User: sdiehl
hindley-milner,A self-hosting mini Haskell compiler with a mini C runtime.
User: siraben
hindley-milner,A functional programming language with lisp syntax and ML semantics that runs on the BEAM
User: smpoulsen
hindley-milner,hindley-milner algorithm
User: veera-sivarajan
hindley-milner,Hindley-Milner type system with extensible records and variants, implemented in Go
User: wdamron
hindley-milner,Runtime type checking for JS with Hindley Milner signatures
Organization: xodio
hindley-milner,A parser for Hidnley Milner notations
Organization: xodio
hindley-milner,Interpreter of the ITGL with dynamic type inference
User: ymyzk
Home Page: https://dl.acm.org/do/10.1145/3291628/full/
hindley-milner,OCaml inspired language
User: zazedd
hindley-milner,Hindley-Milner type inference for Scheme, in Rust
User: zdimension
hindley-milner,Hindley-Milner type inference in Scheme, for Scheme
User: zdimension
hindley-milner,A statically-typed strictly-evaluated garbage-collected readable programming language.
Organization: zionlang
Home Page: https://zionlang.org/
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.