Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
Repository Index
47,133 repositories indexed
9,481–9,504 of 12,233 · Most stars
Hide secrets like API keys, passwords and tokens in Neovim while screen sharing or streaming. Masks .env, JSON, YAML, TOML, XML, .http, Terraform/HCL and Dockerfiles with extmarks, without changing the file. Presentation mode, screen shield, picker and terminal masking.
Channelstream is a websocket communication server for web applications
- gevent
- python
- javascript
- websockets
:tophat: A single tab web browser built with puppeteer. Also, no client-side JS. Viewport is streamed with MJPEG. For realz.
- no-js
- web-browser
- puppeteer
- pupppetromium
Compile-time JSON marshaling and abstraction for Scala, Scala Native and Scala.js
- json
- scala-js
- scala-json
- scala
An experimental p2p multiplayer game made in HTML5/Phaser using WebRTC in 48 hours for Ludum Dare
sound interactions made easy
Durable execution framework for AI agents in Go. Keeps agent state, tool calls, and execution loops resilient across process crashes.
- agentic-ai
- ai
- ai-agents
- golang
Strumt is a library to create prompt chain
- prompt
- prompt-chain
Search Wagtail pages by the StreamField blocks they contain
Top-down puzzle game for Mini LD 53
- puzzle-game
- javascript
- phaserjs
- viking
Generate Elm types, encoders, and decoders from Haskell types
Vagrant plugin that provision your VM with ansible playbooks directly from the guest VM
Knowledge Base Web App - Free, Open Source, Self Hosted, PHP/MySQL
💎 Ruby SMTP mock. Mimic any 📤 SMTP server behavior for your test environment with fake SMTP server.
- testing
- testing-tools
- ruby
- ruby-gem
The base application in PhalconPHP
Outlining application for elementary OS
- outliner
- outline
- office
- writing
▶️ An awesome list of awesome Brazilian YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.
Rollbar for .NET
- rollbar
- dotnet
- asp-net
- error-handling
Open-source crypto currency exchange software
A multiplayer ship game built with Elixir, Phoenix Framework and Phaser. :rocket:
- elixir
- multiplayer-game
- phaser
- phoenix-channels
Stand-alone WebSocket support for Elixir Plug — pre-Phoenix-Channels alternative for plain Plug apps.
- elixir
- experiment
- plug
- realtime
Selenium webdriver step library for use with the behave BDD testing framework
- selenium-webdriver
- webdriverio
- behave
- bdd
Compile JavaScript to Dart so that you can compile it back to JavaScript and run.