Skip to content
@kaprino-lang

Kaprino-lang

Kaprino - a programming language for people who love mathematics

Pinned Loading

  1. kaprino kaprino Public

    kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.

    Rust 11 1

Repositories

Showing 4 of 4 repositories
  • online Public

    Kaprino Online Compiler

    kaprino-lang/online’s past year of commit activity
    TypeScript 1 MIT 2 0 17 Updated Jan 7, 2023
  • kaprino Public

    kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.

    kaprino-lang/kaprino’s past year of commit activity
    Rust 11 MIT 1 4 4 Updated Jan 1, 2023
  • llvm Public

    Create a llvm docker image which is used for testing kaprino.

    kaprino-lang/llvm’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Jan 31, 2021
  • kaprino-vscode Public

    VS Code extension for kaprino.

    kaprino-lang/kaprino-vscode’s past year of commit activity
    1 MIT 0 0 0 Updated Jul 20, 2020

Top languages

Loading…

Most used topics

Loading…