icr is a GitHub repository or organization with source code, releases, documentation, or project resources.
CompCert is a formally verified C compiler that comes with a machine-checked proof that generated code behaves as prescribed by the source program's semantics. It is described as a high-assurance compiler for almost all of the C language (ISO C 2011), generating code for ARM, PowerPC, RISC-V and x86 processors.
JavaScript Deobfuscator is a cleaner and deobfuscator for JavaScript files that is described as working in one click. It is also described as a simple deobfuscator for mangled or obfuscated JavaScript files.
Minify-JS.com is an online tool that reduces the size of JavaScript code using the Terser utility, which is compatible with the ES6+ standard. The site also includes resources, best practices, configuration examples and usage guides related to JavaScript minification.
Automate the Boring Stuff with Python is a book by Al Sweigart, free to read under a Creative Commons license. It teaches Python fundamentals and projects for automating tasks such as searching the web, editing files and spreadsheets, and handling email.
RoslynPad is a cross-platform C# code editor and runner built with Roslyn, available for Windows, macOS, and Linux. It offers code completion, quick info, signature help, diagnostics, code fixes, real-time execution, NuGet package management, and document management.
Thonny is a Python IDE for beginners. It comes with Python built in, so one installer is enough, and the initial user interface is stripped of features that may distract beginners. It offers a simple debugger for stepping through programs and a variables view. Installers are offered for Windows, macOS and Linux.
Community notes
Be the first to share how this project worked for you.
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
CompCert is a formally verified C compiler that comes with a machine-checked proof that generated code behaves as prescribed by the source program's semantics. It is described as a high-assurance compiler for almost all of the C language (ISO C 2011), generating code for ARM, PowerPC, RISC-V and x86 processors.
JavaScript Deobfuscator is a cleaner and deobfuscator for JavaScript files that is described as working in one click. It is also described as a simple deobfuscator for mangled or obfuscated JavaScript files.
Minify-JS.com is an online tool that reduces the size of JavaScript code using the Terser utility, which is compatible with the ES6+ standard. The site also includes resources, best practices, configuration examples and usage guides related to JavaScript minification.
Automate the Boring Stuff with Python is a book by Al Sweigart, free to read under a Creative Commons license. It teaches Python fundamentals and projects for automating tasks such as searching the web, editing files and spreadsheets, and handling email.
RoslynPad is a cross-platform C# code editor and runner built with Roslyn, available for Windows, macOS, and Linux. It offers code completion, quick info, signature help, diagnostics, code fixes, real-time execution, NuGet package management, and document management.
Thonny is a Python IDE for beginners. It comes with Python built in, so one installer is enough, and the initial user interface is stripped of features that may distract beginners. It offers a simple debugger for stepping through programs and a variables view. Installers are offered for Windows, macOS and Linux.
