Repository Index

Arbitrary-precision fixed-point decimal numbers in Go

• go
• decimals
• precision
• money

A JavaScript library for arbitrary-precision decimal and non-decimal arithmetic

• bignumber
• javascript
• arbitrary-precision
• decimal-places

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

Android virtual machine and deobfuscator

• deobfuscation
• java
• optimization
• android

:seedling: a curated list of tools to help you with your research/life; I built a front end around this repo, please use the link below [This repo is deprecated. Instead, I maintain all the contents using the following website]

• awesome
• research
• awesome-list
• awesomeness

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript

• optimization
• nonlinear
• derivatives
• code-generation

:small_red_triangle::sunglasses: A curated list of awesome stuff to learn computer graphics

• awesome-list
• awesome
• computer-graphics
• graphics

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

geometry is a minimal, composable zsh prompt

• geometry
• zsh
• theme
• prompt

A lightweight high performance tensor algebra framework for modern C++

• tensors
• tensor-contraction
• multidimensional-arrays
• simd

Auditable & minimal JS implementation of public-key post-quantum cryptography

• dilithium
• kyber
• ml-kem
• post-quantum-cryptography

A curated list of resources for machine learning for small-molecule drug discovery

• awesome-list
• machine-learning
• cheminformatics
• drug-discovery

ShowStopper is a tool for helping malware researchers explore and test anti-debug techniques or verify debugger plugins or other solutions that clash with standard anti-debug methods.

• research
• anti-debug
• malware

A formalization of geometry in Coq based on Tarski's axiom system

• formalization
• coq
• geometry
• tarski-axiom

Medical LLM agent and MRI segmentation workspace built on PharmaLLM, with LangGraph, vLLM, and BEU-Net.

We would like to maintain a list of resources which aim to solve molecular docking and other closely related tasks.

• ai-aided-drug-discovery
• awesome
• drug-discovery
• molecular-docking

macOS camera recording using ffmpeg

• camera
• ffmpeg
• electron-app
• recording

open source E-book on statistical physics

• statistical-physics
• statistical-mechanics

Native Haxe functions for graphical linear algebra (à la GLM: https://github.com/g-truc/glm/tree/master/glm)

A Julia GraphQL client for seamless integration with a server

Cryptographic Dataset Generation & Modelling Framework

• cryptography
• deep-learning
• deep-neural-networks
• machine-learning

Self-hosted AI-assisted CTI-to-detection workbench for ATT&CK mapping, IOC/CVE intelligence, Threat Radar, malware triage, Attack Simulation, and SIEM validation.

• cybersecurity
• docker
• fastapi
• llm

Small size matrix handling module with a few linear algebra operations specifically for MicroPython (Python3)

Pascal library for arbitrary precision BCD floating point numbers

• pascal
• arbitrary-precision
• math
• bignumber