Skip to content

@topoi-lang topoi-lang

Change the repository type filter

All

    Repositories list

    5 repositories

    • topos

      Public
      Topos is a learn-by-doing compiler project.
      programming-languagecompiler
      Haskell
      •0•5•4•1•Updated Jan 18, 2022Jan 18, 2022

    • topoi

      Public
      Monorepo for topoi-lang
      compiler
      Haskell
      •
      MIT License
      •0•2•1•0•Updated Sep 19, 2020Sep 19, 2020

    • lambda-cube

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jun 11, 2020Jun 11, 2020

    • topoi-core

      Public
      A simple, explicit core language for topoi programming language.
      Rust
      •
      MIT License
      •0•2•2•2•Updated Feb 25, 2020Feb 25, 2020

    • topoi-lang.github.io

      Public
      The landing page of topoi-lang
      HTML
      •
      MIT License
      •1•1•9•0•Updated Jan 1, 2020Jan 1, 2020