An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Repository Index
47,133 repositories indexed
25–48 of 85 · Most stars
A collection of ROM images with tests that will aid you in developing your own CHIP-8, SUPER-CHIP or XO-CHIP interpreter (or "emulator")
- chip-8
- chip-8-emulator
- chip-8-interpreter
- chip-8-roms
Execute WebAssembly from Elixir
- rust
- wasm
- elixir
- elixir-library
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
A Ruby wrapper library to the tesseract-ocr API.
- rubynlp
- tesseract-ocr
- ruby
- wrapper
Reactive Extensions for Lua
Emits events in Go way, with wildcard, predicates, cancellation possibilities and many other good wins
- emitter
- golang
Fastest tool to access data in Elixir
- elixir
- macros
- lenses
- nested-structures
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
An extremely small, intuitive and fast functional utility library for JavaScript
- javascript
- functional
- lightweight
- fast
Mypy static type checker plugin for Pytest
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
interactive programming of melodies, producing MIDI
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Jitescript - Java API for Bytecode
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
VS add-in. Creates Xamarin.Android Binding Projects using gradle
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
Simple JMeter performance tests API for python