Lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋

Universal markup converter

Dockerfile → Universal Wasm Binary

A port of Doom (1993) that runs inside a PDF file

An extremely fast Python package and project manager, written in Rust.

The Meson Build System

A task runner / simpler Make alternative written in Go

Veryl: A Modern Hardware Description Language

Easily portable doom

DOOM Open Source Release

The fundamental package for scientific computing with Python.

Applicative option parser

A mincaml port written in Rust

A port of DOOM for a quantum computer

moved from https://sourceforge.net/p/min-caml/code/

The Z3 Theorem Prover

Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functiona…

プログラミング用日本語等幅フォント Cica(シカ)

A completion plugin for neovim coded in Lua.

Neovim/Vim color scheme inspired by Dark+ and Light+ theme in Visual Studio Code

A launch point for your personal nvim configuration

🌿 General purpose asynchronous tree viewer written in Pure Vim script

Manage a user environment using Nix [maintainer=@rycee]

An enterprise-class UI design language and React UI library

🏹 Draw arrows between React elements 🖋

The Elixir Cross Referencer

LLMs as Copilots for Theorem Proving in Lean

Bear is a tool that generates a compilation database for clang tooling.

🎁A convenient glibc binary and debug file downloader and source code auto builder

Build a database of libc offsets to simplify exploitation