Tomas Zemanovic

A purely functional programming language with first class types

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more 🏅

An introduction to programming language theory in Agda

2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.

No description provided.

Rust implementation of Namada, a sovereign proof-of-stake blockchain for asset-agnostic interchain privacy.

This is a guide to get Pop_OS up and running on a razer blade 15

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

Create Elm apps with zero configuration

visual effects toolkit for Autodesk Maya, enabling fast creation of animated toroidal evolutionary wavefronts, phi-spirals, phi-vortex, flower of life patters, vector equilibrium, geometric primitives, and more.

Compiler for Elm, a functional language for reliable webapps.

HTML conversion of great beginner calculus book

Tomatoes or something

Official Rapier plugin for the Bevy game engine.

Iced integration for Bevy

A refreshingly simple data-driven game engine built in Rust

No description provided.

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

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

Exemplary real world application built with Haskell + Yesod

A post-modern modal text editor.

The TodoMVC app written in Elm using elm-ui package, nice example for beginners.

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

2D and 3D collision-detection library for Rust.

2D and 3D physics engines focused on performance.

Linear algebra library for Rust.

A straightforward stateful input manager for the Bevy game engine.

GGRS is a reimagination of GGPO, enabling P2P rollback networking in Rust. Rollback to the future!

No description provided.

Tactical 2D shooter in fishy pixels style. Made with Rust-lang 🦀 and Bevy 🪶