Idris LLVM codegen factored out
Repository Index
47,133 repositories indexed
10,393–10,416 of 14,005 · Most stars
Declarative Prisma Authorization layer
Snaake is a small and very simple clone of the classic snake game from Nokia phones.
- snake-game
- flame-engine
- flutter-apps
- flutter
slippery chicken: algorithmic composition software in common lisp and clos
- music
- algorithms
- algorithmic-composition
- common-lisp
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Student submissions for the WWDC 2025 - Swift Student Challenge
- apple
- swift-playgrounds
- swift-student-challenge
- wwdc
A macOS app to parse face landmarks from a video for training GANs
- gans
- annotator
- macos
- swift
Undo. Redo. Time travel. Take control of your edit history with an interactive timeline, diff previews, taggings, live reloading trees and cleanup functions.
Dot Net Core based Chrome Debugger Protocol Generator
- chrome-debugger-protocol
- dotnet
- chrome-debugging-protocol
- chrome-devtools
Xcode extension to send code to GitHub's Gist
- xcode
- xcode-extension
- xcode-plugin
- gist
Create SVG vector graphics in F#
rpostgis: R Interface to a 'PostGIS' Database
- rstats-package
- postgresql-database
- postgis
A list of potential sponsors for hackathons.
- awesome-list
- hackathon
- sponsorship
React Library for Audio Equalizers & Filter Visualization
A database of paths that represent the mechanism of action from a drug to a disease in an indication.
- ncats-translator
A Tensorfflow implementation of Attend, Infer, Repeat
- tensorflow
- vae
- neural-networks
- attention-mechanism
A collection of resources covering different aspects of Gatling load testing tool usage.
- gatling
- gatling-plugin
- awesome-gatling
- awesome
eBPF Security Monitoring and Sandboxing Agent Based on Aya
μson (uson) is a shorthand for JSON
Fast Ruby FFI string edit distance algorithms
CodeBehind is a modern full-stack framework under ASP.NET Core. CodeBehind was developed by Elanat in 2023 and competes with Microsoft's default web frameworks (ASP.NET Core MVC and Razor Pages and Blazor). CodeBehind is an engineering masterpiece that simultaneously provides the possibility of development based on many patterns.
- aspx
- code
- code-behind
- dll
This is a UI addon that intends to help standardize the Ember family of websites and make it easier to make the Ember website an Ember app.
- ember
- emberjs
- ember-addon
- hacktoberfest
The Gopher API, is a simple CRUD API for formative purpose, we're building it while writing the posts of the blog.