https://github.com/attilatorda/Shift-To-Middle_Array

An implementation strategy for lists, queues, deque(ue)s. - attilatorda/Shift-To-Middle_Array

https://github.com/fraware/leanverifier

Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4. - fraware/leanverifier

https://github.com/andrewromanenco/cocommit

Cocommit is a command-line tool that works with your HEAD commit and leverages an LLM of your choice to enhance commit quality. - andrewromanenco/cocommit

https://github.com/tsl0922/ttyd

Share your terminal over the web. Contribute to tsl0922/ttyd development by creating an account on GitHub.

https://github.com/tdewolff/argp

GNU command line argument parser. Contribute to tdewolff/argp development by creating an account on GitHub.

https://github.com/recombee/beeformer

Bridging the Gap Between Semantic and Interaction Similarity in Recommender Systems - recombee/beeformer

https://github.com/egorsmkv/npm-audit-to-report

A simple Go program that converts `security-audit.json` to `security-audit.md` so you can use it in CI pipeline. - egorsmkv/npm-audit-to-report

https://github.com/picoruby/picoruby

PicoRuby is the smallest Ruby implementation for one-chip microcontrollers - picoruby/picoruby

https://github.com/mperham/ratomic

Ractor-safe mutable data structures for Ruby. Contribute to mperham/ratomic development by creating an account on GitHub.

https://github.com/hadashiA/MRubyD

A new mruby virtual machine implemented in C#. Contribute to hadashiA/MRubyCS development by creating an account on GitHub.