Jupyter kernel for Coq
Repository Index
47,133 repositories indexed
1,249–1,272 of 1,735 · Most stars
Another directory/file explorer for Neovim written in Lua
- lua
- neovim
- file-explorer
Yet another simple notes app
Chord Charts. Evolved.
- chords
- chord-charts
- chordsheet
- chord-sheet
Ragpicker is a Plugin based malware crawler with pre-analysis and reporting functionalities. Use this tool if you are testing antivirus products, collecting malware for another analyzer/zoo.
A graphical user interface to annotate point clouds and 3D data.
- point-cloud
- lidar
- computer-vision
- cpp
Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file
- csharp
- dotnet
- csharp-script
- dotnet-exec
Slack.com notifier
PRnet is a flexible and scalable perturbation-conditioned generative model predicting transcriptional responses to unseen complex perturbations at bulk and single-cell levels.
A sensible Common Lisp linter that catches real mistakes, not style
- common-lisp
- linter
Play MusicXML scores in the browser using Web Audio and Web MIDI.
- midi
- music-notation
- musicxml
- web-audio
Big Data essentials: Hadoop, MapReduce, Spark. Explore tutorials and demos in Jupyter notebooks—most are self-contained and live, ready to run with a click.
System monitoring program for Raspberry pi single board computers written in Python 3.
- raspberry-pi
- raspberry-pi-3
- raspberrypi
- raspberry
BulkFormer: A large-scale foundation model for human bulk transcriptomes
This is a small, opinionated Go library and CLI for Markdown to PDF. It handles cover pages, tables of contents, watermarks, signatures, and more. You can use CSS themes and custom assets. It works with parallel batch processing. The engine behind it is Chrome. It does not rely on LaTeX.
- chrome-headless
- cli
- go
- goldmark
Generate random crop fields for Ignition Gazebo
RootPainter: Deep Learning Segmentation of Biological Images with Corrective Annotation
- biological-images
- root
- painter
- segmentation
Quickly and easily expose Doctrine entities as REST resource endpoints with the use of simple configuration with annotations, yaml, json or a PHP array.
CTF in a box. Minimal setup required. (not production-ready yet)
Generate a dynamic Twig breadcrumbs trail via Annotations, PHP Attributes or PHP methods.
- breadcrumbs
- symfony
- php
- annotations
Preparation notes for Magento 2 Certified Professional Cloud Developer exam
- magento2
- magento-certified-cloud-developer
- magento-certified-developer
- exam
In-app notification in Swift, with customizable buttons and input text field.
Automatically version jupyter notebooks in JupyterLab
Yet Another Groovy DSL for Liquibase