LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

Tomas Zemanovic

@tzemanovic · In the garden

Followers

147

Public repos

88

Stars (recent)

8

Ecosystems

—

Projects

Repositories this builder owns.

A purely functional programming language with first class types

A cross-platform GUI library for Rust, inspired by Elm

No description.

An introduction to programming language theory in Agda

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

—

A post-modern modal text editor.

ergonomic and precise error handling built atop type-level set arithmetic

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

Recent activity

Most recently pushed work.

tzemanovic/Idris2
pushed 14d ago
tzemanovic/iced
pushed 2mo ago
tzemanovic/idris2-pack-db
pushed 2mo ago
tzemanovic/plfa.github.io
pushed 7mo ago