Trending repositories

201.kylef / PathKit

Effortless path operations in Swift

202.junkdog / artemis-odb

A continuation of the popular Artemis ECS framework

• artemis-odb
• entity-component-system
• framework
• gamedev-framework
• gamedev-library
• gamedev

203.uwdb / Cosette

Cosette is an automated SQL solver.

• rosette
• coq
• sql
• database
• verification

204.uwplse / verdi

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof
• distributed-systems

205.hhblaze / DBreeze

C# .NET NOSQL ( key value, object store embedded TextSearch SemanticSearch Vector layer ) ACID multi-paradigm database management system.

• nosql
• database
• embedded
• c-sharp
• text
• search
• +14 more

206.the4thdoctor / pg_chameleon

MySQL to PostgreSQL replica system

• python
• postgresql
• mysql
• mysql-replication
• replication
• database
• +4 more

207.parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

• concuerror
• erlang
• systematic-testing
• testing
• tool
• automatic
• +13 more

208.tomhea / flipjump

The single instruction language - Flip a bit, then Jump

• esoteric-programming-language
• programming-language
• oisc
• esolang
• macro-assembler
• compiler

209.bramstein / fontfaceobserver

Webfont loading. Simple, small, and efficient.

• webfonts
• fontfaceobserver
• font-loading
• web-fonts

210.danieldjohnson / biaxial-rnn-music-composition

A recurrent neural network designed to generate classical music.

211.linkedin / greykite

A flexible, intuitive and fast forecasting library

212.c-cube / ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

• ocaml
• stdlib
• data-structure
• portable
• permissive-license
• modular
• +1 more

213.mgtv-tech / jetcache-go

Redis cache library for Go

• redis
• auto-refresh
• cache
• golang
• multi-level
• distributed-cache
• +2 more

214.scijava / native-lib-loader

Native library loader for extracting and loading native libraries from Java.

215.atlas0fd00m / CanCat

swiss army knife of Controller Area Networks (CAN) often used in cars and building automation, etc...

216.uwplse / verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof
• distributed-systems
• consensus
• +1 more

217.s-expressionists / Eclector

A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees

• common-lisp
• reader
• extensible
• error-recovery
• portable
• concrete-syntax-trees

218.whyisyoung / BODMAS

Code for our DLS'21 paper - BODMAS: An Open Dataset for Learning based Temporal Analysis of PE Malware. BODMAS is short for Blue Hexagon Open Dataset for Malware AnalysiS.

• malware
• pe-malware
• malware-dataset
• malware-research
• open-datasets
• temporal-data

219.macbre / phantomas

Headless Chromium-based web performance metrics collector and monitoring tool

• phantomas
• metrics
• javascript
• css
• webperf
• dom
• +10 more

220.libnet / libnet

A portable framework for low-level network packet construction

• network-packets
• ospf
• rip
• bgp
• mpls
• igmp
• +10 more

221.AICAN-Research / FAST-Pathology

⚡ Open-source software for deep learning-based digital pathology

• deep-learning
• machine-learning
• digital-pathology
• computational-pathology
• software
• free-to-use
• +11 more

222.mlyszczek / librb

ring buffer c library with posix-like read/write interface and thread awarness (+ concurrent read/write)

223.stencilproject / Stencil

Stencil is a simple and powerful template language for Swift.

224.funcool / cats

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

225.php-censor / php-censor

PHP Censor is an open source self-hosted continuous integration server for PHP projects.

• php
• continuous-integration
• ci
• php-censor
• self-hosted
• testing
• +5 more

226.DiffSharp / DiffSharp

DiffSharp: Differentiable Functional Programming

• machine-learning
• tensor
• dotnet
• autodiff
• gpu
• deep-learning
• +1 more

227.coleslaw-org / coleslaw

Flexible Lisp Blogware

228.haucky / drawing_animation

A Flutter library for gradually painting SVG path objects on canvas (drawing line animation).

• flutter
• dart
• svg
• svg-animations
• svg-path

229.NLog / NLog.Extensions.Logging

NLog as Logging Provider for Microsoft Extension Logging

• netstandard
• nlog
• logging-library
• csharp
• dotnet
• logger
• +4 more

230.kdomanski / iso9660

A go library for reading and creating ISO9660 images

• iso
• iso9660
• cdrom

231.neslib / Chet

C Header Translator for Delphi

• header-translators
• clang-parsing-process
• clang
• delphi
• chet
• c
• +1 more

232.sippy / b2bua

Sippy B2BUA is a RFC3261-compliant Session Initiation Protocol (SIP) stack and Back-to-back user agent (B2BUA) server software.

233.sefcom / Witcher

Witcher is the first framework for using AFL to fuzz web applications.

234.marianobarrios / dregex

dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.

• scala
• dfa
• regular-expression
• regular-expression-engine
• regex
• java-library

235.bonej-org / BoneJ2

Plugins for bone image analysis

• fiji-plugin
• image-analysis
• image-processing
• imagej-plugins
• maven-multimodule
• java-8
• +4 more

236.DavesCodeMusings / BTHome-MicroPython

MicroPython module to format sensor readings for BTHome BLE advertising payloads

237.timdonnelly / AdvanceArchived

Physics-based animations for iOS, tvOS, and macOS.

• animation
• swift
• physics
• gestures
• ios
• springs
• +3 more

238.HouzuoGuo / tiedot

A rudimentary implementation of a basic document (NoSQL) database in Go

• nosql
• database
• db
• go
• golang
• tiedot
• +1 more

239.scikit-multilearn / scikit-multilearn

A scikit-learn based module for multi-label et. al. classification

• classification
• scikit
• scikit-learn
• multi-label
• scikit-multilearn
• machine-learning
• +3 more

240.AbdulRahmanAlHamali / flutter_typeahead

A TypeAhead widget for Flutter, where you can show suggestions to users as they type

241.the-little-prover / j-bob

The repository host gives no description.

242.KCL-Planning / ROSPlan

The ROSPlan framework provides a generic method for task planning in a ROS system.

• ros

243.hillu / go-yara

Go bindings for YARA

• yara
• go
• golang
• cgo
• hacktoberfest

244.ucsb-seclab / difuze

Fuzzer for Linux Kernel Drivers

• fuzzing
• kernel
• vulnerability-detection
• android

245.nir / jupylet

Python game programming in Jupyter notebooks.

246.telekons / one-more-re-nightmare

A fast regular expression compiler in Common Lisp

• common-lisp
• regular-expression-engine
• compiler
• regex
• lisp

247.echoCTF / echoCTF.RED

A platform to develop, run and administer CTF competitions. This is the online echoCTF.RED platform source code

• ctf
• echoctf
• cybersecurity
• hacking

248.mirage / ocaml-dns

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

249.ppissias / SpacePixels

Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.

• astronomy
• astronomy-software
• astrophotography
• moving-object-detection
• photometry
• variable-stars
• +6 more

250.mandiant / red_team_tool_countermeasuresArchived

The repository host gives no description.

251.aaren / notedown

Markdown <=> IPython Notebook

252.insidegui / NoiseBuddy

Control the listening mode on your AirPods Pro in the Touch Bar or Menu Bar.

253.mandiant / sunburst_countermeasuresArchived

The repository host gives no description.

254.Athari / YaLinqo

Yet Another LINQ to Objects for PHP [Simplified BSD]

• linq
• php
• functional-programming
• query
• statistics
• functional
• +8 more

255.rpav / cl-autowrap

(c-include "file.h") => complete FFI wrapper

256.cbaggers / varjo

Lisp to GLSL Language Translator

• lisp
• common-lisp
• compiler
• glsl

257.yakaz / yamerl

YAML 1.2 and JSON parser in pure Erlang

• yaml
• yaml-parser
• erlang
• erlang-libraries
• parsing
• elixir

258.tannerryan / ring

Package ring provides a high performance and thread safe Go implementation of a bloom filter.

• go
• golang

259.fukamachi / websocket-driver

WebSocket server/client implementation for Common Lisp

• common-lisp
• websocket

260.sirherrbatka / vellum

Data Frames for Common Lisp

261.fukamachi / envy

Configuration switcher by an environment variable inspired by Config::ENV.

262.yhat / ggpyArchived

ggplot port for python

263.QueryKit / QueryKit

A simple CoreData query language for Swift and Objective-C.

264.nikolaypavlov / MLPNeuralNet

Fast multilayer perceptron neural network library for iOS and Mac OS X

265.macbre / analyze-css

CSS selectors complexity and performance analyzer

• css-source
• css-selectors-complexity
• css
• metrics
• webperf
• webperformance
• +4 more

266.cskr / pubsub

A simple pubsub package for go.

• pubsub
• go
• golang

267.Cocoanetics / DTRichTextEditor

A rich-text editor for iOS

268.sindresorhus / stringify-object

Stringify an object/array like JSON.stringify just without all the double-quotes

269.marcotcr / lime-experiments

Code for all experiments.

270.GeertJohan / gomatrix

Displays "The Matrix" in a terminal

271.huytd / kanelm

Kanban board built with Elm

• elm
• trello
• kanban

272.ashmind / mirrorsharp

MirrorSharp is a code editor <textarea> built on Roslyn and CodeMirror

273.spectralDNS / shenfun

High performance computational platform in Python for the spectral Galerkin method

• spectral-methods
• galerkin
• fenics
• turbulence
• fourier
• spectral
• +12 more

274.redspah / xxhash_cpp

Port of the xxhash library to C++17.

• hashing
• optimized
• xxhash
• cpp
• hash
• xxhash-library
• +3 more

275.bliksemlabs / rrrr

RRRR rapid real-time routing

• transit
• gtfsdb
• gtfs
• journey
• planner

276.andybest / linenoise-swift

A pure Swift replacement for readline

• terminal
• linenoise
• pure-swift
• swift
• console
• library

277.rocq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

• coq
• library
• programming
• coq-platform
• coq-ci

278.TracerBench / chrome-debugging-client

An async / await friendly debugging client for chrome

279.dh1tw / gosamplerate

Go Bindings for libsamplerate

• golang
• libsamplerate
• audio
• audio-processing
• audio-library

280.nemequ / LZSSE-SIMDe

LZSSE compression codec ported to SIMDe

281.imakris / mexce

Single-header C++ JIT compiler/evaluator for mathematical expressions

• expression-evaluator
• expression-parser
• formula-engine
• formula-evaluator
• formula-parser
• header-only
• +12 more