A terminal-based presentation tool with colors and effects.
You can also play a codio (pre-recorded code block) on a slide.
Security engineering is the discipline of building secure systems.
Its lessons are not just applicable to computer security. In fact this repo aims to document a process for securing anything, whether it's a medieval castle, an art museum, or a computer network.
Smocker (server mock) is a simple and efficient HTTP mock server. Smocker exposes a configuration user interface and a configuration api to register new mocks.
Gemini is a new, collaboratively designed internet protocol, which explores the space inbetween gopher and the web.
Graphtage is a commandline utility and underlying library for semantically comparing and merging tree-like structures, such as JSON, XML, HTML, YAML, and CSS files.
GitDuck is a video call tool built for developers that enables you to talk, share your code and do pair programming with ease.
A React-powered node editor and runtime engine. Build apps that are resilient to changing requirements by modeling your business logic as a JSON graph. Flume provides a sleek UI for creating and editing these graphs.
Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code.
Pyre ships with Pysa, a security focused static analysis tool we've built on top of Pyre that reasons about data flows in Python applications.
Foam is a personal knowledge management and sharing system inspired by Roam Research, built on Visual Studio Code and GitHub.
You can use Foam for organising your research, keeping re-discoverable notes, writing long-form content and, optionally, publishing it to the web.
Foam is free, open source, and extremely extensible to suit your personal workflow. You own the information you create with Foam, and you’re free to share it, and collaborate on it with anyone you want.
Vercel is a cloud platform for static sites and Serverless Functions that fits perfectly with your workflow. It enables developers to host Jamstack websites and web services that deploy instantly, scale automatically, and requires no supervision, all with no configuration.
MIMIC is a web platform for the artistic exploration of musical machine learning and machine listening. We have designed this collaborative platform as an interactive online coding environment, engineered to bring new technologies in AI and signal processing to artists, composers, musicians and performers all over the world.
Tauri is a framework for building tiny, blazing fast binaries for all major desktop platforms. Developers can integrate any front-end framework that compiles to HTML, JS and CSS for building their user interface. The backend of the application is a rust-sourced binary with an API that the front-end can interact with.
Sema is a playground where you can rapidly prototype live coding mini-languages for signal synthesis, machine learning and machine listening.
Sema aims to provide an online integrated environment for designing both abstract high-level languages and more powerful low-level languages.
Luckysheet is an online spreadsheet like excel that is powerful, simple to configure, and completely open source.
Markdown editor to help organize research notes, with full Zettelkasten support.
Splitgraph is a data management, building and sharing tool inspired by Docker and Git that works on top of PostgreSQL and integrates seamlessly with anything that uses PostgreSQL.
Splitgraph allows the user to manipulate data images (snapshots of SQL tables at a given point in time) as if they were code repositories by versioning, pushing and pulling them.
OpenProject is a web-based project management system for location-independent team collaboration.
- Project management and milestones
- Project timelines
- Kanban & Scrum
in:verse is a programming language and environment for exploring the conflux of poetry, visuals, mathematics and code.
This is software for collaborative live coding. On one machine, you run an extramuros "server". Then, from as many machines as you like, you use a web browser to connect to the server and code into shared text buffers. Finally, and again from as many machines as you like, your run the extramuros "client" code in order to receive code from the server and pipe it to the language interpreter of your choice (SuperCollider, Tidal, etc). Think of the "client" code as a way for machines to listen in on a public stream of code.
Estuary is a platform for collaboration and learning through live coding. It enables you to create sound, music, and visuals in a web browser. Key features include:
built-in tutorials and reference materials
a growing collection of different interfaces and live coding languages
support for networked ensembles (whether in the same room or distributed around the world)
text localization to an expanding set of natural languages
visual customization via themes (described by CSS)