Trending repositories

2301.runtimeverification / verified-smart-contracts

Smart contracts which are formally verified

2302.synthetos / g2

g2core - The Next Generation

• cnc
• cnc-controller
• 3d-printing
• gcode
• lasercutter
• motion-planning
• +1 more

2303.VcDevel / std-simd

std::experimental::simd for GCC [ISO/IEC TS 19570:2018]

• cpp17
• simd
• libstdcxx
• gcc
• sse
• avx
• +3 more

2304.libSDL2pp / libSDL2pp

C++ bindings/wrapper for SDL2

• sdl
• c-plus-plus
• gamedev
• graphics
• sdl-mixer
• sdl-ttf
• +2 more

2305.jscoq / jscoq

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

2306.BaseModelAI / cleora

Cleora AI is a general-purpose open-source model for efficient, scalable learning of stable and inductive entity embeddings for heterogeneous relational data. Created by Synerise.com team.

• ai
• graphs
• synerise
• embeddings
• ml
• machine-learning
• +7 more

2307.abumq / licensepp

Software licensing and registration using digital signatures and public cryptography 🪪

• licensing
• software-licensing
• software-license
• security

2308.pyFFTW / pyFFTW

A pythonic python wrapper around FFTW

2309.imposter-project / imposter

Scriptable, multipurpose mock server. Run standalone mock servers, or embed mocks within your tests or CI/CD pipeline.

• mock-server
• mock-responses
• swagger
• openapi
• api-mock
• salesforce
• +6 more

2310.walkerke / tigris

Download and use Census TIGER/Line shapefiles in R

2311.xiaoyeli / superlu

Supernodal sparse direct solver. https://portal.nersc.gov/project/sparse/superlu/

2312.isovalent / CCA-Study-Guide

Cilium Certified Associate Certification Study Guide

2313.yoursunny / WifiEspNow

ESP-NOW Arduino library for ESP8266 and ESP32

• esp8266
• esp32
• esp-now
• arduino-library
• hacktoberfest

2314.ocaml / ocaml-re

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

• ocaml
• dfa
• regular-expression

2315.wagtail / wagtail-localize

Translation plugin for Wagtail CMS

• wagtail
• wagtail-plugin
• internationalisation
• wagtail-package

2316.math-comp / analysis

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp
• ssreflect

2317.gerstrong / Commander-Genius

Modern Interpreter for the Commander Keen (Vorticon Dreams and Galaxy) and also Cosmos Cosmic Adventure games. This is a mirror repo: The main gitlab repository is at: https://gitlab.com/Dringgstein/Commander-Genius

• commander
• keen
• dos
• c-plus-plus
• c
• lua

2318.jkotlinski / lsdpatch

LSDj Patcher

• lsdj
• font
• palette

2319.arpruss / gcodeplot

Use a 3-axis machine as a pen plotter

2320.nesfit / fitcrack

A hashcat-based distributed password cracking system

2321.bscotch / stitch

Tools and apps for GameMaker development: a CLI for pipeline development, a VSCode extension for coding, and more.

• gms2
• gamemaker
• game-development
• game-development-workflow
• gamedev
• gamemaker-studio-2
• +3 more

2322.cdcseacave / TinyEXIF

Tiny ISO-compliant C++ EXIF and XMP parsing library for JPEG.

• exif
• exif-metadata
• exif-data-extraction
• exif-reader
• xmp
• xmp-parsing-library

2323.MrcSnm / HipremeEngine

Cross Platform D-Lang Game Engine with scripting support

• dlang
• hipremeengine
• opensource
• crossplatform
• opengl
• gameengine
• +12 more

2324.ics-ikeda / shuffle-text

"shuffle-text" is JavaScript text effect library such as cool legacy of Flash.

• javascript
• typescript
• effects
• html5

2325.openaustralia / planningalerts

Find out and have your say about what's being built and knocked down in your area.

• civic-tech

2326.ysbaddaden / http2

HTTP/2 Protocol Implementation for the Crystal Language

• crystal
• hpack
• http2
• http

2327.AdaCore / gtkada

Ada bindings for the GTK+ graphical library.

2328.talwrii / ffmpeg-cookbook

A beginner's cookbook for the FFmpeg command-line video and audio editing tool

• command-line
• cookbook
• ffmepg

2329.sjanel / aeronet

Modern, fast and ergonomic C++ HTTP/1.1, HTTP/2 and WebSocket server & client library for Linux, macOS and Windows, perfect for microservices.

• cpp
• cpp23
• http-server
• linux
• epoll-server
• minimal-dependencies
• +12 more

2330.sane-apps / SaneHosts

Modern, profile-based hosts file manager for macOS. Block ads, trackers, and distractions with ease.

• ad-blocker
• dns
• hosts-file
• macos
• macos-app
• privacy
• +5 more

2331.WebpageFX / emoji-cheat-sheet.com

A one pager for emojis on Campfire and GitHub

2332.facebookarchive / shimmer-androidArchived

An easy, flexible way to add a shimmering effect to any view in an Android app.

2333.laurentj / slimerjs

A scriptable browser like PhantomJS, based on Firefox

• slimerjs
• casperjs
• firefox
• javascript
• phantomjs

2334.multiprocessio / datastation

App to easily query, script, and visualize data from every database, file, and API.

• sql
• mysql
• postgresql
• sqlite3
• cockroachdb
• mariadb
• +14 more

2335.gawel / pyquery

A jquery-like library for python

• python
• python3
• jquery
• lxml
• css

2336.crossbario / crossbar

Crossbar.io - WAMP application router

• websocket
• wamp
• messaging
• mqtt
• rest
• server
• +3 more

2337.mchoe / SwiftSVG

A simple, performant, and lightweight SVG parser

• svg
• swift
• ios
• macos
• tvos

2338.thbar / kiba

Data processing & ETL framework for Ruby

• etl
• etl-ruby
• ruby
• data
• rubydatascience

2339.crossfilter / crossfilter

Fast n-dimensional filtering and grouping of records.

2340.gamelinux / passivedns

A network sniffer that logs all DNS server replies for use in a passive DNS setup

2341.aws-amplify / aws-sdk-iosArchived

AWS SDK for iOS. For more information, see our web site:

• objective-c
• aws-sdk
• swift
• amazon-web-services
• aws-mobile
• aws-sdk-ios

2342.cswinter / LocustDB

Blazingly fast analytics database that will rapidly devour all of your data.

• analytics
• database
• rust

2343.nsacyber / Windows-Secure-Host-BaselineArchived

Configuration guidance for implementing the Windows 10 and Windows Server 2016 DoD Secure Host Baseline settings. #nsacyber

• windows
• windows-10
• group-policy
• nessus
• windows-server
• windows-server-2016
• +10 more

2344.influxdata / chronograf

Open source monitoring and visualization UI for the TICK stack

• telegraf
• visualization
• chronograf
• dashboard
• influxdb
• kapacitor
• +6 more

2345.lunasec-io / lunasec

LunaSec - Dependency Security Scanner that automatically notifies you about vulnerabilities like Log4Shell or node-ipc in your Pull Requests and Builds. Protect yourself in 30 seconds with the LunaTrace GitHub App: https://github.com/marketplace/lunatrace-by-lunasec/

• tokenization
• web-security
• compliance
• security
• soc2
• pci-dss
• +14 more

2346.linkedin / swift-style-guide

LinkedIn's Official Swift Style Guide

• swift
• style-guide
• ios

2347.vlfeat / matconvnet

MatConvNet: CNNs for MATLAB

2348.kassio / neoterm

Wrapper of some vim/neovim's :terminal functions.

• repl
• neovim
• vim
• terminal
• hacktoberfest

2349.ddneves / awesome-gcp-certifications

A curated list of resources for learning about Google Cloud Platform certifications and how to prepare for it.

2350.tomchop / malcom

Malcom - Malware Communications Analyzer

• malware
• network-traffic
• pcap
• threat-intelligence
• malware-analysis
• infosec
• +1 more

2351.jamestthompson3 / nvim-remote-containers

Develop inside docker containers, just like VSCode

• nvim
• docker
• remote-containers
• neovim
• lua

2352.DigitalInBlue / Celero

C++ Benchmark Authoring Library/Framework

• benchmark
• benchmark-tests
• measurements
• c-plus-plus
• celero
• microbenchmarks

2353.UnderwaterApps / overlap2d

Overlap2D Game development toolkit for UI and Level design

2354.dib-lab / khmer

In-memory nucleotide sequence k-mer counting, filtering, graph traversal and more

• dna
• k-mer
• python
• bloom-filter
• count-min-sketch
• graph-traversal
• +1 more

2355.hrldcpr / pcollections

A Persistent Java Collections Library

2356.celery / django-celery-results

Celery result back end with django

• django
• celery
• django-celery-results
• python

2357.coderedcorp / coderedcms

Wagtail + CodeRed Extensions enabling rapid development of marketing-focused websites.

• django
• wagtail
• website-builder
• content-management-system
• cms
• responsive
• +2 more

2358.niessner / VoxelHashing

[Siggraph Asia 2013] Large-Scale, Real-Time 3D Reconstruction

• 3d-reconstruction
• kinect
• computer-vision

2359.appium / appium-docker-android

Appium Server setup to automate android testing on real devices

• android
• docker
• appium
• docker-container
• docker-image
• dockerfile
• +2 more

2360.kikito / tween.lua

Tweening/Easing/Interpolating functions for lua. Inspired on jQuery's animate method.

2361.tests-always-included / mo

Mustache templates in pure bash

2362.cpsievert / LDAvis

R package for web-based interactive topic model visualization.

• topic-modeling
• r
• javascript
• visualization
• text-mining

2363.cesanta / slre

Super Light Regexp engine for C/C++

2364.dfirtrack / dfirtrack

DFIRTrack - The Incident Response Tracking Application

• incident-response
• digital-forensics
• dfir
• incident-response-tooling
• incident-management

2365.mikeizbicki / ucr-cs100

open source software construction course

2366.paritytech / subxt

Interact with Substrate based nodes in Rust or WebAssembly

2367.bkuhlmann / gemsmith

A command line interface for smithing Ruby gems.

• rubygems
• gem-skeleton

2368.cg-tuwien / Auto-Vk-Toolkit

Getting serious about Vulkan development with this modern C++ framework, battle-tested in rapid prototyping, research, and teaching. Includes support for real-time ray tracing (RTX), serialization, and meshlets.

• vulkan
• rendering
• engine
• cpp
• visual-studio
• cereal
• +7 more

2369.zenangst / Syncalicious

🍫 Syncalicious

2370.DevExpress / BlazorArchived

[Archived] This repository has been archived and will no longer receive content updates.

2371.WeaselGames / godot_luaAPIArchived

Godot LuaAPI

• godot
• game
• lua
• game-development
• godot-engine
• godot-module
• +5 more

2372.IronScheme / IronScheme

IronScheme

• scheme
• c-sharp
• r6rs
• r6rs-scheme
• dotnetcore
• dotnet

2373.mapnificent / mapnificent

Mapnificent shows you areas you can reach with public transport in a given time.

• gtfs
• transit

2374.NixOS / cabal2nix

Generate Nix build instructions from a Cabal file

• cabal
• nix
• hackage
• haskell
• cabal2nix
• nixpkgs

2375.tencent-ailab / grover

This is a Pytorch implementation of the paper: Self-Supervised Graph Transformer on Large-Scale Molecular Data

2376.Subito-it / SBTUITestTunnel

Enable network mocks and more in UI Tests

• cocoapods
• testing-tools
• stub
• network-monitoring
• xcode
• xcodebuild
• +3 more

2377.zaggino / z-schema

JSON Schema validator written in JavaScript for NodeJS and Browsers

2378.reportmill / SnapKit

A Java UI toolkit

2379.LintaoAmons / scratch.nvim

Create temporary playground files effortlessly. Find them later without worrying about filenames or locations.

• nvim-plugin

2380.DosX-dev / ASM-Guard

Packer utility for compressing and complicating reversing compiled native code (native files), protecting resources, adding DRM, and packing into an optimized loader.

• asm
• asmx86
• compressor
• confuser
• native
• packer
• +13 more

2381.byulparan / cl-collider

A SuperCollider client for CommonLisp

• cl-collider

2382.unoplatform / Uno.Samples

A collection of code samples for the Uno Platform

• uwp
• uno-platform
• wasm
• csharp
• xamarin
• ios
• +4 more

2383.nikodemus / screamer

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

2384.Josverl / micropython-stubber

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

• micropython-stubs
• micropython-stubber
• firmware-stubs
• python
• micropython
• static-typing
• +6 more

2385.jjuliano / aifiles

A CLI that organize and manage your files using AI

2386.fnielsen / awesome-danish

A curated list of awesome resources for Danish language technology

• awesome
• awesome-list
• danish

2387.Alexey-T / ATSynEdit

Multi-line editor control, with syntax highlighting, for Lazarus

• lazarus
• pascal
• text-editor
• syntax-highlighting

2388.p4lang / ptf

Packet Test Framework

• p4

2389.AMWA-TV / nmos

Networked Media Open Specifications: Introduction

• nmos
• amwa

2390.axem-solutions / dem

Containerized Development Environment Manager for embedded development

• containerization
• containers
• devops
• edge
• edge-computing
• embedded
• +12 more

2391.IanHarvey / pcc

Portable C Compiler sources

2392.russhughes / s3lcd

ESP_LCD based MicroPython driver for ESP32-S3 Devices with ST7789 or compatible displays.

• esp32s3
• esp32s3-box
• t-display-s3
• t-dongle-s3
• display-driver
• esp-lcd
• +7 more

2393.ebu / smpte2110-analyzer

Analyzer to inspect network packets generated by the SMPTE ST 2110 specification.

2394.csa-admin-org / csa-admin

Web application to manage CSA (Community Supported Agriculture), ACP (Agriculture Contractuelle de Proximité) or Solawi (Solidarische Landwirtschaft) organizations.

• acp
• csa
• rails
• ruby
• solawi
• managment

2395.openmobilityfoundation / curb-data-specification

A data specification to help cities manage their curb zone and parking programs and surrounding areas, and measure the utilization and impact.

• curb
• curb-management
• parking
• parking-management
• delivery
• open-source
• +3 more

2396.MobilityData / gtfs-realtime-validator

Java-based tool that validates General Transit Feed Specification (GTFS)-realtime feeds

2397.ipea / gtfstools

General Transit Feed Specification (GTFS) Editing and Analysing Tools

• r
• gtfs
• public-transport
• publictransport

2398.crisbez / atlas4d-base

Self-hosted 4D spatiotemporal AI platform built on PostgreSQL, PostGIS, TimescaleDB, H3 and pgvector, with anomaly & threat detection, NLQ interface and full observability.

• ai-platform
• anomaly-detection
• h3
• nlq
• nlq-to-sql
• pgvector
• +5 more

2399.naughtyGitCat / HardwareExporterWindows

export windows hardware info and sensors to prometheus type

2400.cherifon / Ultimate-DNS-Shield

Self-hosted DNS with Pi-hole + Unbound + Docker on Raspberry Pi

• dns
• docker
• homelab
• linux
• networking
• pihole
• +4 more