Skip to content
@RemuLang

RemuLang

Popular repositories

  1. sijuiacion-lang sijuiacion-lang Public

    An IR for Python VM, provided with indirect jump instructions.

    Python 19 1

  2. proud proud Public

    The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax

    Python 14

  3. remu-type-system remu-type-system Public

    type-system, revised unification algorithm and runtime time representations

    OCaml 12

  4. urgent-lang urgent-lang Public

    The urgent programming language. might not be academic enough or excellent, merely as a better tool for better reasoning things.

    Python 7 1

  5. remu-operator remu-operator Public

    Customized precedences and associativities for binary operators of a modular programming language

    Python 4

  6. remu-scope remu-scope Public

    A framework to do name analysis for programming languages.

    OCaml 3

Repositories

Showing 9 of 9 repositories
  • urgent-lang Public

    The urgent programming language. might not be academic enough or excellent, merely as a better tool for better reasoning things.

    Python 7 MIT 1 4 (1 issue needs help) 0 Updated Feb 3, 2020
  • remu-operator Public

    Customized precedences and associativities for binary operators of a modular programming language

    Python 4 MIT 0 0 0 Updated Jan 23, 2020
  • sijuiacion-lang Public

    An IR for Python VM, provided with indirect jump instructions.

    Python 19 MIT 1 0 0 Updated Jan 23, 2020
  • hmf Public

    implementation of HMF type system, for higher rank types

    Python 1 MIT 0 0 0 Updated Jan 20, 2020
  • proud Public

    The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax

    Python 14 MIT 0 4 0 Updated Jan 18, 2020
  • hybrid-type-system Public

    Row + Implicit arguments + MLF.

    Python 3 MIT 0 0 0 Updated Jan 17, 2020
  • remu-type-system Public

    type-system, revised unification algorithm and runtime time representations

    OCaml 12 Apache-2.0 0 0 0 Updated Dec 12, 2019
  • remu-scope Public

    A framework to do name analysis for programming languages.

    OCaml 3 MIT 0 0 0 Updated Dec 11, 2019
  • remu-incremental-compilation Public

    Using the intermediate files to achieve modularization

    Python 1 MIT 0 0 0 Updated Nov 8, 2019

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Python OCaml

Most used topics

Loading…