Progmasoft

Popular repositories Loading

1. tala tala Public

   Tala: an experimental, lazily evaluated programming language compiled to native code. Haskell frontend, C++20 and LLVM backend, and Tazel, its build system.

   Haskell 3

2. website website Public

   The website of the Tala programming language: a Vue frontend and a Kotlin and Spring Boot backend.

   TypeScript 1

3. xide xide Public

   Xide: the planned IDE for Tala, built with Kotlin and Compose Multiplatform. Early work, not ready for daily use.

   Kotlin 1

4. progmaweb progmaweb Public

   The public website and account service of Progmasoft: a Next.js frontend and an ASP.NET Core API.

   C# 1

5. catch3 catch3 Public

   Forked from catchorg/Catch2

   Progmasoft Catch3: an independently maintained C++17 test framework with a parallel runner, property checks, snapshots and structured results.

   C++ 1

6. tazel tazel Public

   The build system and package manager of Tala

   Kotlin 1