Search Results - RepositoryStats

3

130

gpl-3.0

1

An implementation of interaction nets.

inet graph monoid ascii-art 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,132 commits to master branch, last one 2 days ago

9

119

other

10

Hypertypes - generic programming for heterogeneous recursive types

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

Created 2018-11-22

1,221 commits to main branch, last one about a month ago

5

54

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

148 commits to main branch, last one 3 months ago

1

44

gpl-3.0

1

This is an implementation of interaction nets, with 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,372 commits to master branch, last one 5 days ago