greenhat Goto Github PK

monix

Asynchronous, Reactive Programming for Scala and Scala.js.

nocilla

Testing HTTP requests has never been easier. Nocilla: Stunning HTTP stubbing for iOS and Mac OS X.

nvim-metals

A Metals plugin for Nvim

nvim-solarized-lua

solarized colorscheme in lua for nvim 0.5

omnizk

Compiler framework for ZK VMs

pliron

Programming Languages Intermediate Representation

pse-zkevm-circuits

pyapns

Python library for interacting with the Apple Push Notification service (APNs)

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

An experimental Rust compiler front-end for IDEs

rustc_codegen_cranelift

Cranelift based backend for rustc

s3-backups

S3 Backups provides easy scripts that system administrators can use to backup data from programs likes PostgreSQL, MySQL, Redis, etc.

sbt-scoverage

sbt plugin for scoverage

scala-native

Your favorite language gets closer to bare metal.

scalac-scoverage-plugin

Scoverage Scala Code Coverage Core Libs

scorex

Scorex 2.0 Core

scorextutorial

Scorex 2.0 Tutorial

scrypto

Cryptographic primitives for Scala

sigma

Scala DSL for Sigma-State Interpreter

sigmastate-interpreter

Interpreter of a Sigma-State language

slick

Scala Language Integrated Connection Kit

special

telescope.nvim

Find, Filter, Preview, Pick. All lua, all the time.

triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

unison.rs

valida

A STARK-based VM focused on code reuse, performance, and modularity

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript

wasmtime

A fast and secure runtime for WebAssembly

whisper-dictation

A dictation application on linux using openai's whisper. Currently only used on KDE wayland.