Updated infix.cl of the CMU AI repository, originally written by Mark Kantrowitz
- infix-notation
- common-lisp
- mathematics
Repository Index
47,133 repositories indexed
601–624 of 754 · Most stars
Automatically exported from code.google.com/p/fully-justified-text
lightweight GUI package manager + update notifier (with full AUR support) for Arch Linux, originally by Bob Henry Pirkle
A utility class for libGDX that records a GIF and saves it automatically.
Multi-stage Riemannian flow matching for physically valid molecular docking, with GNINA scoring, PoseBusters filtering, CLI inference, and benchmarks.
- alphafold3
- docking
- drug-design
- drug-discovery
Utility to generate "realistically looking" traffic for Sitecore sites with configurable patterns
Give this module an array of images, and it will rotate them equally around in a circular path
A lightweight, zero-dependency TUI dashboard for managing Docker containers and images dynamically in the terminal.
- dashboard
- developer-tools
- docker
- monitoring
EtlKit is a lightweight ETL (extract · transform · load) library and data integration toolbox for .NET. Build your own data pipelines programmatically in C# — readable, testable, and tracked in source control like the rest of your code.
- dotnet
- dotnet-core
- etl
- etl-framework
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Dynamically configure applications that require static configuration in docker container.
- nim
- smalte
- template
- docker
A minimal dark colorscheme that you can actually read at a glance.
- colorscheme
- neovim
- nvim
- nvim-colorscheme
This is the Aura theme for Omarchy.org, providing a visually appealing configuration set for your Linux desktop environment.
Node-Red Node that produces formatted Date/Time output using the Moment.JS library. Timezone, dst and locale aware.
- node-red
- moment
- javascript
- timezone
A place for all my recipes to live. Mostly vegan. Usually tasty. Creative Commons licensed.
Collecting, shape-enhancing, validating, fixing and (partially) merging GTFS feeds
Automatically update a local or remote hosts file with Docker container hostnames
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
This was originally a wrapper of Steve Sanderson's BlazorFileInput. It has since been upgraded to a wrapper of ASP.NET CORE FileInput
- blazor
- csharp
- fileupload
Show diff automatically when git rebase
Deciphering cell-cell communication from spatially resolved transcriptomic data at single-cell resolution with subgraph-based attentional graph neural network
Demonstrates how an existing Angular app can be migrated to Blazor gradually by integrating Blazor components, including calling Angular service methods.
Small size matrix handling module with a few linear algebra operations specifically for MicroPython (Python3)
a Storybook addon help you visually customize an ant design theme