Skip to content
@langbot-mirrors

langbot-mirrors

Popular repositories Loading

  1. amethyst amethyst Public

    Forked from amethyst-lang/amethyst

    Amethyst is a systems language aimed at being simple, small, portable, and safe.

    Rust

  2. ante ante Public

    Forked from jfecher/ante

    A safe, easy systems language

    Rust

  3. shadowninja55-carbon shadowninja55-carbon Public

    Forked from shadowninja55/carbon

    an elegant interpreted language for the simplistic programmer

    Haskell

  4. chili chili Public

    Forked from r0nsha/chili

    General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™

    Rust

  5. cognate cognate Public

    Forked from cognate-lang/cognate

    A human readable quasi-concatenative programming language

    C

  6. cthulhu cthulhu Public

    Forked from apache-hb/cthulhu

    probably better than javascript

    C

Repositories

Showing 10 of 14 repositories
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    langbot-mirrors/lean4’s past year of commit activity
    Lean 0 Apache-2.0 477 0 0 Updated Apr 27, 2024
  • cthulhu Public Forked from apache-hb/cthulhu

    probably better than javascript

    langbot-mirrors/cthulhu’s past year of commit activity
    C 0 LGPL-3.0 2 0 0 Updated Apr 27, 2024
  • ante Public Forked from jfecher/ante

    A safe, easy systems language

    langbot-mirrors/ante’s past year of commit activity
    Rust 0 MIT 86 0 0 Updated Apr 8, 2024
  • hook Public Forked from hook-lang/hook

    The Hook Programming Language

    langbot-mirrors/hook’s past year of commit activity
    C 0 MIT 3 0 0 Updated Apr 4, 2024
  • amethyst Public Forked from amethyst-lang/amethyst

    Amethyst is a systems language aimed at being simple, small, portable, and safe.

    langbot-mirrors/amethyst’s past year of commit activity
    Rust 0 5 0 0 Updated Mar 30, 2024
  • Gwion Public Forked from Gwion/Gwion

    🎵 strongly-timed musical programming language

    langbot-mirrors/Gwion’s past year of commit activity
    C 0 GPL-3.0 44 0 0 Updated Mar 23, 2024
  • egel Public Forked from egel-lang/egel

    The Egel Programming Language

    langbot-mirrors/egel’s past year of commit activity
    C++ 0 4 0 0 Updated Mar 16, 2024
  • PhosphorCompiler Public Forked from PhosphorLang/PhosphorCompiler

    A compiler for the Phosphor programming language

    langbot-mirrors/PhosphorCompiler’s past year of commit activity
    TypeScript 0 MIT 1 0 0 Updated Mar 9, 2024
  • PhosphorStandardLibrary Public Forked from PhosphorLang/PhosphorStandardLibrary

    The standard library for the Phosphor programming language

    langbot-mirrors/PhosphorStandardLibrary’s past year of commit activity
    C 0 MIT 1 0 0 Updated Mar 7, 2024
  • cognate Public Forked from cognate-lang/cognate

    A human readable quasi-concatenative programming language

    langbot-mirrors/cognate’s past year of commit activity
    C 0 BSD-2-Clause 12 0 0 Updated Jan 19, 2024
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…