Quoteme/leandate

Stars
3
Rank 3,963,521 (Top 79 %)
Language Lean
Created 10 months ago
Updated 9 months ago

Quoteme/leandate

Quoteme

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Leandate - A date and time library for Lean4

mach-nix-template

Simple and straight-forward way to create python environments using PyPi in nix

img2string

A program that converts images to a series of strings that can be woven around nails to recreate the image. Like: https://youtu.be/-S_l8GGxOhU

emoji-board

screenrotate

A small script used to automatically change the various Laptops screen rotation

webglcs

A 2.5D CaveStory Multi-/Singleplayer game.

worldeditor

A voxel editor with support for many custom features

complexGrapher

A simple complex function grapher/plotter that represents complex functions as a colorful 3D plane (using THREE.js)

neovim-luca

Neovim configured to my linking using nix flakes

nixos

My nixos configuration

mathcraft

Minecraft written in Lean4

Fluchtpunkt3D

An ultra minimalist JavaScript 3D engine using vanishing points for 3D calculation.

quoteme.github.io

My github pages website

worldeditor2

Simple & efficient voxel editor that works like minecraft, but each cube is made out voxels

bachelor_seminar_haskell

My seminar about haskell

cutImg

A minimalist javascript library for immutably cutting images into smaller rectangular sections

rubixCube

Emulation of a rubix cube written in three.js

virtual-keyboard

Some experiments to create a virtual on-screen keyboard for Wayland using Python

matrixVisualizer

Display the effects of 4x4 Matrizes on vector spaces in your Browser - fast!

whisper-input

Use openai whisper to transcribe your voice into written text completely locally in one command

worlddisplay

A lightweight 3d voxel map renderer in three.js (build using the lightweight "worldeditor" voxel editor in three.js