dragonwasrobot

Peter Urbak's starred repositories

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Language:CoqAGPL-3.032300

symbolica

A modern computer algebra system which aims to handle expressions with billions of terms.

Language:RustNOASSERTION39100

openfga

A high performance and flexible authorization/permission engine built for developers and inspired by Google Zanzibar

Language:GoApache-2.0240900

Darwin-Typeface

This is the project repository for Darwin, a typeface for books and articles, with a focus on scientific writing.

Language:ShellOFL-1.119700

verus

Verified Rust for low-level systems code

Language:RustMIT101500

redka

Redis re-implemented with SQLite

Language:GoBSD-3-Clause307500

nimble_options

A tiny library for validating and documenting high-level options. 💽

Language:ElixirApache-2.046100

nano-theme

GNU Emacs / N Λ N O Theme

Language:Emacs LispGPL-3.035100

quelpa

Build and install your Emacs Lisp packages on-the-fly directly from source

Language:Emacs LispGPL-3.063100

eshell-atuin

eshell ❤️ atuin

Language:Emacs LispGPL-3.01300

simpl-lang

A simple language created in Coq, batteries and correctness proofs included.

Language:Coq600

svg-term-cli

Share terminal sessions via SVG and CSS

Language:JavaScriptMIT347100

rune

Rust VM for Emacs

Language:Emacs LispGPL-3.039600

plprql

Use PRQL in PostgreSQL

Language:RustApache-2.039100

pgprolog

PostgreSQL Prolog language handler

Language:RustBSD-3-Clause12700

lustre

An Elm-inspired framework for building HTML templates, single page applications, and server-rendered components in Gleam!

Language:GleamMIT62700

elixir_error_message

Elixir error messages to make the errors within the system easier to expect and predict, as well as read

Language:ElixirMIT3000

mixpanel-js

Official Mixpanel JavaScript Client Library

Language:JavaScriptNOASSERTION86600

OpenID-Connect-Java-Spring-Server

An OpenID Connect reference implementation in Java on the Spring platform.

Language:JavaNOASSERTION147000

elixir-styler

An @elixir-lang code-style enforcer that will just FIFY instead of complaining

Language:ElixirApache-2.062100

termbox

Library for writing text-based user interfaces

Language:CMIT195100

ratatouille

A TUI (terminal UI) kit for Elixir

Language:ElixirMIT72900

drops

🛠️ Tools for working with data effectively - data contracts using types, schemas, domain validation rules, type-safe casting, and more.

Language:ElixirNOASSERTION23100

1brc

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

Language:JavaApache-2.0536900

cosmopolitan

build-once run-anywhere c library

Language:CISC1550300

OberonSystem3

A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE

Language:Modula-28300

tex-oberon

Make Project Oberon Pretty Again

Language:TeXNOASSERTION18500

llm-course

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

Language:Jupyter NotebookApache-2.03273700

elm-rust-template

A convenient template for creating a progressive web app using Elm and Rust

Language:JavaScriptApache-2.02600

create-elm-app

🍃 Create Elm apps with zero configuration

Language:JavaScriptMIT167900