Skip to content
@ohvu

The Ohvu Programming Language

Popular repositories Loading

  1. truffle-ohvu truffle-ohvu Public

    Ohvu is a purely-functional Lisp dialect with a predicative type and effect system.

    Java 1

  2. docs docs Public

    The documentation and informal specification of the Calipto programming language

    Python 1

  3. ohvu.github.io ohvu.github.io Public

    Website

  4. website website Public

    The Calipto Language Website

  5. c-ohvu c-ohvu Public

    An interpreter of Ohvu in C, written for simplicity rather than efficiency.

    C 1

Repositories

Showing 5 of 5 repositories
  • truffle-ohvu Public

    Ohvu is a purely-functional Lisp dialect with a predicative type and effect system.

    ohvu/truffle-ohvu’s past year of commit activity
    Java 0 LGPL-3.0 1 0 0 Updated Jun 18, 2020
  • docs Public

    The documentation and informal specification of the Calipto programming language

    ohvu/docs’s past year of commit activity
    Python 0 LGPL-3.0 1 0 0 Updated Jun 18, 2020
  • c-ohvu Public

    An interpreter of Ohvu in C, written for simplicity rather than efficiency.

    ohvu/c-ohvu’s past year of commit activity
    C 0 LGPL-2.1 1 0 0 Updated Jun 18, 2020
  • ohvu.github.io Public

    Website

    ohvu/ohvu.github.io’s past year of commit activity
    0 LGPL-3.0 0 0 0 Updated Jun 18, 2020
  • website Public

    The Calipto Language Website

    ohvu/website’s past year of commit activity
    0 LGPL-3.0 0 0 0 Updated Feb 27, 2020

Top languages

Loading…

Most used topics

Loading…