AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Repository Index
47,133 repositories indexed
793–816 of 1,215 · Most stars
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Common Lisp with Arc Macros and Procedures
Common Lisp (Parenscript) utilities for building web apps in ReactJs
Crystal bindings to Dear ImGui
The repository host gives no description.
Fast SIP and SDP Parser
- sip-headers
- parse
- sdp
- sip-messages
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
brain-dead simple parallel processing for ruby
Limits the number of goroutines that are allowed to run concurrently
- concurrency
- golang
- goroutine
:awesome = Elixir's Task ++ Basho's sidejob library
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
Wrapper for feeder. Elixir RSS parser
Structured Concurrency in Go
- concurrency
- nursery
- goroutines
- golang
Common Lisp Win32 GUI library
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
pico sized functional library
- javascript-array
- functional-programming
- javascript
- es6
A MIPS to Java bytecode binary translator
Thin wrapper over Nuklear for Common Lisp
UNIS: A Common Architecture for String Utilities within the Go Programming Language.
- golang
- string
- utility-wrapper