Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Repository Index
47,133 repositories indexed
21,217–21,240 of 26,754 · Most stars
Renderer for the Ricardian Contract specification
Fast & easy-to-use A* module written in Lua
- lua
- love2d
- pathfinding
A moody Linux theme inspired by Batou’s car and the iconic opening scene — crafted for omarchy.org.
- archlinux
- omarchy
- omarchy-theme
- ricing
Displays automatic scale bars for projected geospatial data.
Flappy Race is an open source multiplayer game inspired by Flappy Bird and Mario Kart, created with Godot.
A game engine with multiple backends, written in V
- game-engine
- vlang
- vulkan
Contrastive Explanation (Foil Trees), developed at TNO/Utrecht University
- interpretability
- machine-learning
- contrastive-explanations
- foil
A SIP monitoring script that publishes incoming calls with CallerID to an MQTT channel
Error Prone extensions: extra bug checkers and a large battery of Refaster rules.
- java
- static-analysis
- abstract-syntax-tree
- ast
Kibana 7 Templates for Suricata IDPS Threat Hunting
TurboPack MustangpeakEasyListview is part of VirtualShellTools for the Listview but can be used for a TListview Replacement that is faster and more customizable.
Codeschool colorscheme for neovim written in lua with treesitter and built-in lsp support
- colorscheme
- neovim-colorscheme
- neovim-plugin
- neovim-configuration
MQTT implementation in Elixir
eds-scikit is a Python library providing tools to process and analyse OMOP data
- data-science
- omop
- python
- clinical-data-warehouse
Inspired by (but not a port of) moment.js, date & time (and time zone!) tools for CFML
This is the Futurism theme for Omarchy.org, providing a visually appealing configuration set for your Linux desktop environment.
MCP server for spatial transcriptomics analysis through natural language interfaces.
- bioinformatics
- cell-communication
- deconvolution
- machine-learning
Personal website
- r
- tidymodels
- tidyverse
- quarto
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.
A mobile platform for collecting transit data -- GTFS, passenger counts and GIS data.
A LUA driven AI that plays classic gameboy color games using experimentation.
An arbitrary-precision decimal floating-point arithmetic package for Go
- decimal
- arbitrary-precision
- floating-point
- go
Micropython package for doing fast rsa and elliptic curve cryptography, specifically digital signatures
- cryptography
- elliptic-curves
- micropython
- rsa