MongoDB Entity Framework Core Provider
- csharp
- entity-framework
- entity-framework-core
- mongodb
Repository Index
47,133 repositories indexed
4,225–4,248 of 8,241 · Most stars
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Upload once to create multiple, relative PRs. Productivity-focused git tools with patch revision tracking, rebase detection and more. Uses python and git plumbing commands.
- code-review
- git
- github
- version-control
recursion schemes for cats; to iterate is human, to recurse, divine
- scala
- recursion-schemes
- functional-programming
The project demonstrates how you can develop applications with Jakarta EE using widely adopted architectural best practices like Domain-Driven Design (DDD).
- javaee
- jakartaee
- domain-driven-design
- ddd
734 animated ASCII art pieces for web pages, READMEs, wallpapers and terminals. Browse them in your terminal with npx ascii-magic-art and add one to your project in one prompt.
- animation
- ascii
- ascii-art
- cli
production heap profiling for the JVM. compatible with google-perftools.
Arithmetic and logical expressions modeled and visualized using protocol-oriented binary trees. 🌳
A tiny DIY kit to set up vanilla Emacs for Common Lisp programming
- emacs
- slime
- paredit
- rainbow-delimiters
A free ActionScript 3 library designed for developing 2D Flash games. It provides you with a fast, clean framework to prototype and develop your games in. This means that most of the dirty work (timestep, animation, input, and collision to name a few) is already coded for you and ready to go, giving you more time and energy to concentrate on the design and testing of your game.
This is a blender add-on that contains tools to ease the creation/import process of assets into Godot Game Engine
TranslatedOfficial Document Writing Skills | AI official document writing assistant: prevents fabrication, keeps confidentiality, one-click GB/T 9704 formatting, covers 22 types of documents, supports Claude Code / Codex / Cursor
- agent-skills
- ai-writing
- ai-writing-tool
- chinese-writing
Auditable code review skill for Claude Code and Codex: four independent probes, evidence-backed findings, and a JSON-derived merge gate.
- agent-skills
- ai-code-review
- claude-code
- code-review
⚓️ Anchr provides you with a toolbox for tiny tasks on the internet, especially bookmark collections
Experimental NVIDIA tensor-compute unlock research: guarded TU102 initramfs port, offline tests, and Ampere reproduction notes
The repository host gives no description.
The ROSPlan framework provides a generic method for task planning in a ROS system.
scalable audio processing framework and server written in Python
- audio-processing
- python
- web
Property based Testing for Elixir (based upon PropEr)
- propcheck
- elixir
- property-based-testing
- proper
BraincraftedBootstrapBundle integrates Bootstrap into Symfony2 by providing templates, Twig extensions, services and commands.
Language for high-assurance and high-speed cryptography
Package arp implements the ARP protocol, as described in RFC 826. MIT Licensed.
fccf: A command-line tool that quickly searches through C/C++ source code in a directory based on a search string and prints relevant code snippets that match the query.
- abstract-syntax-tree
- c-language
- c-programming
- clang
Marshmallow provides a flexible and performant JSON unmarshalling in Go. It specializes in dealing with unstructured struct - when some fields are known and some aren't, with zero performance overhead nor extra coding needed.
- go
- golang
- json
- performance