INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.
- grading
- assessment
- education
- e-assessment
Repository Index
47,133 repositories indexed
145–168 of 180 · Most stars
Your Data Storage Troubleshooter 🛠
- swift
- persistence
- coredata
- realmswift
How many bugs can LMs find & fix in large codebases?
An esoteric programming language built to break LLMs and coding agents.
TranslatedDesign styles, motion films, visual guides & editable source code.
Feel how fast a local LLM runs before you buy the hardware
PocketStrike is a privacy-first mobile AI workstation. It combines zero-cloud native on-device GGUF inference (ARM NEON accelerated) │ with frontier cloud LLMs, multi-step ReAct agent tools, Model Context Protocol (MCP) servers, self-evolving cross-session memory, and FLUX neural image │ generation.
llama.cpp fork that abliterates at inference
🏃 The go-to single-cell Foundation Model
- batch-correction
- cell-biology
- celltype-annotation
- denoising
The open-source video studio for AI agents. Plan, generate, and edit films on a local-first canvas with your own models and short drama video.
- ai
- ai-drama
- ai-drama-generator
- ai-video
Safe Exam Browser for macOS and iOS
- seb
- seb-mac
- macos
- xcode
Turn your Swift data model into a working CRUD app.
- swift
- ios
- realm
- realmswift
:ram: Lisp that compiles to JavaScript in the Ramda way
- lisp
- ramda
- functional
- s-expression
Read-only MCP server that connects Claude, ChatGPT and other AI assistants to Canvas LMS.
Integrate ChatGPT-style LLMs into Neovim: ask questions, keep multi-file context, pull diagnostics / command output, and chat without leaving your editor. Highly configurable, async, lua-only plugin.
An NLP library for Uralic languages such as Finnish, Skolt Sami, Moksha and so on. Also supporting some non-Uralic languages such as Spanish, French, Arabic, Swedish, Norwegian, Russian and English. LLMs, FSTs and More!
- nlp-library
- uralic-languages
- finnish
- sami
Write amazing, strong-typed and easy-to-read NSPredicate.
- cocoapods
- flow
- autogenerated
- code-generation
A JupyterHub authenticator for LTI
- jupyterhub
- lms
- lti
Safe and easy wrappers for RealmSwift
- realmswift
- wrapper-library
- swift
- realm-mobile-database
Automatically exported from code.google.com/p/audiotools
- audio
- tools
- oscilloscope
- signal-generator
OpenTelemetry-native tracing, token tracking, cost attribution, and prompt analytics for Go backends integrating LLMs.
Instruct LLMs to do what you want in Ruby
- ai
- gem
- ruby
- rubyml
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
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