A collection of resources for learning type theory and type theory adjacent fields.
Repository Index
47,133 repositories indexed
553–576 of 2,013 · Most stars
Python interface to the WebRTC Voice Activity Detector
cargo, make me a project
- cargo
- liquid
- placeholders
- template-project
Library providing easy-to-use interface for displaying tree structures on iOS and tvOS.
🎬 Evidence-led Seedance 2.5 / 2.0 prompt library: 840+ cases traced to original posts, 490+ cross-model retest runs, 27 copy-ready templates, 79 installable AI-video Skills. Synced daily from goodcase.ai. EN / 中文 / 日本語.
- ai-video
- awesome
- bytedance
- prompt-engineering
Sharetribe Go is Sharetribe's old source-available marketplace software, which was also available as a hosted SaaS product. Sharetribe Go is no longer actively maintained.
- marketplace
- platform
Fast paced HTML5 puzzle game inspired by Tetris!
A Very Good Command-Line Interface for Dart created by Very Good Ventures 🦄
An easy to use, customizable replacement for UISegmentedControl & UISwitch.
- swift
- swift-3
- ios
- uiswitch
Typeface for setting text in many sizes, weights, and languages. Designed to complement Source Sans.
- opentype-fonts
- otf
- afdko
- ttf-fonts
An awesome replacement for acts_as_nested_set and better_nested_set.
Find the enemy and replace them with dark power.
🎹🎸A music theory library with a command-line interface
- music
- ruby
- gem
A typeface for creating sparklines in text without code.
A free, open source C# framework for making games, or your own game engine. Direct access to native APIs and Vulkan, with the low-level libraries around them. The foundation under Kitten Space Agency and RimWorld's Waylith engine.
- csharp
- dotnet
- game-engine
- vulkan
A little animation framework which could help you to show message in a nice looking way
- animation
- animation-framework
- android
- android-library
The goal of this project is to allow integrated or USB-connected webcams to be accessed directly from Java. Using provided libraries users are able to read camera images and detect motion. Main project consist of several sub projects - the root one, which contains required classes, build-in webcam driver compatible with Windows, Linux and Mac OS, which can stream images as fast as your camera can serve them (up to 50 FPS). Main project can be used standalone, but user is able to replace build-in driver with different one - such as OpenIMAJ, GStreamer, V4L4j, JMF, LTI-CIVIL, FMJ, etc.
- webcam
- java
- webcam-capture
Bitfocus Companion enables the Elgato Stream Deck and other controllers to be a professional shotbox surface for an increasing amount of different presentation switchers, video playback software and broadcast equipment.
- companion
- ross
- qlab
- osc
JetBrains Maple Mono: The free and open-source font fused with JetBrains Mono & Maple Mono
- font
- fusion
- jetbrains-mono
- jetbrainsmaplemono
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
- optimization
- nonlinear
- derivatives
- code-generation
Realtime log viewer with web UI, tail -f for logs with a web interface browser.
Querybook is a Big Data Querying UI, combining collocated table metadata and a simple notebook interface.
- metastore
- analyses
- hive
- presto
A material-styled android view that provisions picking of a date, time & recurrence option, all from a single user-interface.
A fully customisable subclass of the native UIControl which allows you to create beautiful buttons without writing any line of code.
- uicontrol
- uibutton
- swift
- ios