neut - Programming language

edit

neut is a programming language created in 2018.

#697on PLDB

6Years Old

Download source code:

git clone https://github.com/u2zv1wx/neut

Source Code

A dependently-typed programming language with static memory management

Tags: programming language
neut is developed on GitHub and has 831 stars
Early development of neut happened in https://github.com/vekatze/neut/issues
neut is written in Haskell, Markdown, JSON, YAML, Bourne shell, JavaScript, CSS, TypeScript, Handlebars, Dockerfile, SVG, TOML, C
Read more about neut on the web: 1.

Example from the web:

; download the core library
(ensure core/0.1.0.0
  "https://github.com/u2zv1wx/neut-core/raw/master/release/0.1.0.0.tar.gz")

(include "core/0.1.0.0/core.neut")

(with identity.bind
  (let str "a")
  (let _ (string.print str))
  (let _ (string.print str))
  (string.print str))

Language features

Feature	Supported	Example	Token
Comments	✓	; A comment
Line Comments	✓	; A comment	;
Semantic Indentation	X