Search Results - RepositoryStats

3

130

gpl-3.0

1

An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.

inet graph monoid interpreter stack-based language-design graph-processing interaction-nets postfix-notation undirected-graph computation-model programming-language programming-language-design programming-language-concepts programming-language-development

Created 2022-02-13

1,115 commits to master branch, last one about a month ago

hypertypes lamdu

8

107

bsd-3-clause

10

Hypertypes - generic programming for heterogeneous recursive types

type-checker type-inference programming-languages programming-language-development

Created 2018-11-22

1,217 commits to master branch, last one 11 months ago

barn barn-lang

4

55

gpl-3.0

1

Barn is a simple programming language written in C that is compiled to C.

compilator programming programming-language compilator-development programming-language-development

Created 2022-10-08

141 commits to main branch, last one 2 months ago

inet-js cicada-lang

1

41

gpl-3.0

1

This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using a familiar JavaScript-like syntax :)

inet graph language interpreter language-design graph-processing interaction-nets undirected-graph computation-model programming-language programming-language-design programming-language-concepts programming-language-development

Created 2023-09-17

1,344 commits to master branch, last one 29 days ago