552. silverDefinition of the Viper intermediate verification language.
557. Summary-of-Knowledge-SoK-Scalability-of-BlockchainsThis paper aims to offer a collection of the most popular blockchain scalability solutions. The main goal is to give a fundamental understanding of each solution and how each follows different methods to find its own respective balance in the tradeoff outlined by the scalability trilemma - decentralization vs. security vs. scalability. The paper…
559. capdlCapability Distribution Language tools for seL4
560. MixEthMixEth: efficient, trustless coin mixing service for Ethereum
564. w2wA python tool that ingests WUDAPT information into WRF.
565. MeowV64A superscalar RISC-V CPU with out-of-order execution and multi-core support
566. AMIDDIntroduction to Applied Mathematics and Informatics in Drug Discovery (AMIDD)
570. r4sl📈 Machine Learning from the perspective of a Statistician using R
572. chalmersStyles for LaTeX, beamer for Chalmers University of Technology
573. research-diary-projectUse TeX/LaTeX to keep a research diary on your UNIX/Linux system, with useful tools and scripts to simplify the process.
577. workshopsDocumentation and Materials for the Zotero Workshops. Written in Pandoc enhanced Markdown.
578. multimatch gazeReimplementation of Matlabs MultiMatch toolbox (Dewhurst et al., 2012) in Python
582. htkHTK Toolkit with Linux 64 bit and Docker support
584. SciSheetsDelivering the power of programming with the simplicity of spreadsheets
587. gandalfGANDALF (Graphical Astrophysics code for N-body Dynamics And Lagrangian Fluids)
589. CSAOfficial implementation of CVPR2020 Paper "Cooling-Shrinking Attack"
596. markdown📔 A package for converting and rendering markdown documents in TeX
597. DIME-LaTeX-TemplatesDIME's LaTeX templates and LaTeX exercises teaching anyone new to LaTeX how to use LaTeX and how to use DIME's templates
599. pylithPyLith is a finite element code for the solution of dynamic and quasi-static tectonic deformation problems.