:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Repository Index
47,133 repositories indexed
25–48 of 54 · Most stars
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
"Lispsy" Lisp(ish) to C Converter (designed for CLISP)
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
♻️ The most advanced interruptible mechanism to perform actions repetitively until successful.
- go
- library
- module
- retry
ClojureScript library for Ant Design React UI components
- clojurescript
- reagent
- rum
- reagent-components
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
Modern cryptography (libsodium/NaCl) for Clojure
Fast resizable golang semaphore primitive
- semaphore
- go
- golang
- semaphore-pattern
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
- topic
- pubsub
- go
- golang
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.
Async node.js interface to Blackmagic Design capture and playback devices.
A Task-based LINQ designed to work with async/await
A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.
- go
- golang
- data-structures
- functional
Powerful macro (cross) assembler package for several CPUs
A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.
gpool - a generic context-aware resizable goroutines pool to bound concurrency based on semaphore.
- concurrency
- workerpool
- goroutine-pool
- resource-pool
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode
:droplet: Publish/Subscribe utility module
- elixir
- pubsub
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Ant Design bindings for Fable Elmish
- fable
- antd
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics