AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Repository Index
47,133 repositories indexed
121–144 of 164 · Most stars
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode
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.
A MIPS to Java bytecode binary translator
Load Common Lisp code blocks from Org files
- literate
- programming
- lisp
- org
A codemod-cli project for converting Ember objects to es6 native classes
- codemod
- ember
Golang source code parsing, usage like reflect package
- refactor
- metaprogramming
- go
- ast
Generate Elm types, encoders, and decoders from Haskell types
JupyterLab extension to explore CPython Bytecode
A Blazor component that makes it super simple to load local files into your .NET code running on WASM.
Contest parser for codeforces.com
- codeforces
- competitive-programming
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
Error Prone extensions: extra bug checkers and a large battery of Refaster rules.
- java
- static-analysis
- abstract-syntax-tree
- ast
Load Javascript and CSS asynchronously in yew
- codesplitting
- interop
- wasm
- rust
PNG and JPEG decoder / parser / renderer in pure micropython
- micropython
- png-decoder
- jpeg-decoder
- python
A hybrid LaTeX code + rich-text editor. It seamlessly syncs a rich-text What You See Is What You Get (WYSIWYG) view with raw LaTeX source code, featuring real-time KaTeX math preview and one-click PDF export via online compilers.
Web app that can hash/hmac, encrypt/decrypt, and sign/verify the data, debug JWT tokens, parse and edit ASN1 structures, compute diffs, and more
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
:shaved_ice: Shave some bytes by using Preact.
- preact
- codemod
- jscodeshift
- transpiler
Jmeter as code is the easy way to write jmeter test as code.
- jmeter
- java
- performance-testing
- performance
Practical security policy enforcement for Android apps via bytecode rewriting and in-place reference monitor