gluon - A static, type inferred and embeddable language written in Rust.

  •        18

Gluon is a small, statically-typed, functional programming language designed for application embedding. Statically typed - Static typing makes it easier to write safe and efficient interfaces between gluon and the host application.



Related Projects

cvpr17 - CVPR 2017 Tutorial


MXNet is widely used in production environments owing to its strong reputation for speed. Now with gluon, MXNet’s new imperative interface, doing research in MXNet is easy. In this tutorial, we will walk through how to use gluon to implement various algorithms. We will present every concept in details, no deep learning background is required to attend. We encourage the audience to bring their laptops to have a hands-on experience with gluon.

gluon-nlp - NLP made easy

  •    Python

GluonNLP is a toolkit that enables easy text preprocessing, datasets loading and neural models building to help you speed up your Natural Language Processing (NLP) research. GluonNLP documentation is available at our website.


  •    Perl

Gluon is a simple decision-tree daemon that executes external programs (scripts) to determine the path-flow within the decision-tree. It essentially operates as a basic IF-THEN-ELSE expert system that can be used to monitor and take action.

quack - :baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS

  •    PHP

Quack is a type-safe, multi-paradigm programming language. Quack enables you to write consistent and legible code, and run it on different platforms. You can optionally provide type annotations for your values, although it isn't really necessary because we rely on duck and gradual typing. The Quack compiler is being built to be decidable by propagation and with a strong type inference.

Eta - A powerful language for building scalable systems on the JVM

  •    Haskell

Eta is a pure, lazy, strongly typed functional programming language on the JVM. It is a dialect of Haskell on the JVM. It is pure by default which means that calling a function with the same arguments will yield the same results every time. It is lazy by default which means that data stays in unevaluated state until a function needs to peek inside.

alpaca - Functional programming inspired by ML for the Erlang VM

  •    Erlang

Alpaca is a statically typed, strict/eagerly evaluated, functional programming language for the Erlang virtual machine (BEAM). At present it relies on type inference but does provide a way to add type specifications to top-level function and value bindings. It was formerly known as ML-flavoured Erlang (MLFE). Please see the rebar3 plugin documentation for more details.

gocaml - :camel: Practical statically typed functional programming language implementation with Go and LLVM

  •    Go

GoCaml is subset of OCaml in Go based on MinCaml using LLVM. GoCaml adds many features to original MinCaml. MinCaml is a minimal subset of OCaml for educational purpose. It is statically-typed and compiled into a binary. This project aims incremental compiler development for my own programming language. Type inference, closure transform, mid-level IR are implemented.

mxnet-the-straight-dope - An interactive book on deep learning. Much easy, so MXNet. Wow.

  •    Jupyter

This repo contains an incremental sequence of notebooks designed to teach deep learning, MXNet, and the gluon interface. Our goal is to leverage the strengths of Jupyter notebooks to present prose, graphics, equations, and code together in one place. If we're successful, the result will be a resource that could be simultaneously a book, course material, a prop for live tutorials, and a resource for plagiarising (with our blessing) useful code. To our knowledge there's no source out there that teaches either (1) the full breadth of concepts in modern deep learning or (2) interleaves an engaging textbook with runnable code. We'll find out by the end of this venture whether or not that void exists for a good reason. Another unique aspect of this book is its authorship process. We are developing this resource fully in the public view and are making it available for free in its entirety. While the book has a few primary authors to set the tone and shape the content, we welcome contributions from the community and hope to coauthor chapters and entire sections with experts and community members. Already we've received contributions spanning typo corrections through full working examples.

gluon-tutorials-zh - 《动手学深度学习》

  •    Python


gluon-ts - GluonTS - Probabilistic Time Series Modeling in Python

  •    Python

GluonTS is a Python toolkit for probabilistic time series modeling, built around Apache MXNet (incubating). GluonTS provides utilities for loading and iterating over time series datasets, state of the art models ready to be trained, and building blocks to define your own models and quickly experiment with different solutions.

fo - An experimental language which adds functional programming features to Go.

  •    Go

Fo is an experimental language which adds functional programming features to Go. The name is short for "Functional Go". Go already supports many features that functional programmers might want: closures, first-class functions, errors as values, etc. The main feature (and in fact only feature for now) that Fo adds is type polymorphism via generics. Generics encourage functional programming techniques by making it possible to write flexible higher-order functions and type-agnostic data structures.

clash-compiler - CAES Language for Synchronous Hardware

  •    Haskell

CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The CλaSH compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog. Strongly typed, but with a very high degree of type inference, enabling both safe and fast prototyping using concise descriptions.

gravity - Gravity Programming Language

  •    C

Gravity is a powerful, dynamically typed, lightweight, embeddable programming language written in C without any external dependencies (except for stdlib). It is a class-based concurrent scripting language with modern Swift-like syntax. Gravity supports procedural programming, object-oriented programming, functional programming and data-driven programming. Thanks to special built-in methods, it can also be used as a prototype-based programming language.

Python - Programming Language

  •    C

Python is a remarkably powerful dynamic programming language that is used in a wide variety of application domains. It is embeddable within applications as a scripting interface. Build flexible data-driven code using Python's powerful and dynamic introspection capabilities and advanced language features such as meta-classes, duck typing and decorators.

monkey - Interpreter with support for class, linq, sql, net, http, fmt, json and A realtime syntax highlighting REPL

  •    Go

This project is no longer being maintained. All the contents have been moved to magpie. Monkey is a toy language interpreter, written in Go. It has C-style syntax, and is largely inspired by Ruby, Python, Perl and c# It support the normal control flow, functional programming and object oriented programming. It also has a REPL with realtime syntax highlighter.

Carp - A statically typed lisp, without a GC, for real-time applications.

  •    Haskell

Update (June 12, 2018): We're currently working towards version 0.3.0 of the language. The goal of this version is to be a stable but somewhat limited version of the language (lacking lambdas and union types). Carp is a small programming language designed to work well for interactive and performance sensitive use cases like games, sound synthesis and visualizations.

verve-lang - A functional language for the working hacker

  •    Haskell

Verve is a functional language for the working hacker. It was designed with users that come from other language paradigms in mind (primarily object-oriented). It aims to ease the path into the functional programming world by offering a more familiar take on functional idioms, like you'd find in most modern languages. Verve has lists, classes, objects, lambdas, interfaces and more, and it tries to give them all a beginner-friendly API, but all the concepts found here have can be expressed in purely functional languages.

kotlin - Statically Typed Programming Language for the JVM

  •    Java

Kotlin is a statically typed programming language that compiles to JVM byte codes and JavaScript. Java programming language has certain limitations and problems that are either impossible or very hard to fix due to backward-compatibility issues. This new statically typed JVM-targeted language free of the legacy has features include compilation at least as fast as Java, variable type inference, higher-order functions (closures), extension functions, code in interfaces, first-class delegation etc