A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Repository Index
47,133 repositories indexed
97–120 of 129 · Most stars
Reactive computation tree library for non-blocking concurrent Common Lisp
- data-flow
- asynchronous
- common-lisp
- concurrency
Common Lisp package for simple two dimensional computational geometry.
Common Lisp distributed computation framework implemented using Swank Client
A library to build and execute typed scientific workflows
MCP server for spatial transcriptomics analysis through natural language interfaces.
- bioinformatics
- cell-communication
- deconvolution
- machine-learning
Simple yet powerful live data computation framework.
- react
- javascript
- typescript
- event-stream
2D triangulation library. Allows translating lines and polygons (both based on points) to the language of GPUs.
- triangulation
- computational-geometry
- golang
Multi-stage Riemannian flow matching for physically valid molecular docking, with GNINA scoring, PoseBusters filtering, CLI inference, and benchmarks.
- alphafold3
- docking
- drug-design
- drug-discovery
A curated list of free add-ons and scripts for Godot, but for fast computation and scientific methods!
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Probabilistic computation in Idris
Course materials for Zurich Initiative for Computational Economics (ZICE) 2014
Arbitrary Precision Library for Delphi with Support for Integer and Floating Point Computations.
Fast, deterministic cell-type deconvolution for million-bin spatial transcriptomics
- bioinformatics
- cell-type-deconvolution
- computational-biology
- deconvolution
your codes should sing for themselves
- web-app
- computational-art
Workbench for practical machine learning in Ruby.
- machine-learning
- machine-learning-algorithms
- neural-network
- neural-networks
Ruby based API for the project Wortschatz Leipzig.
- rubynlp
- ruby
- nlp
- natural-language-processing
UV-first benchmark for protein-ligand docking with reproducible annotation, pocket similarity, and HPC workflows.
- benchmark
- bioinformatics
- cheminformatics
- computational-chemistry
Simple Genetic Algorithm for demonstration purposes
- genetic-algorithm
- evolutionary-algorithms
- evolutionary-algorithm
- evolutionary-computation
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
- ocaml
- commitment-schemes
- secure-multi-party-computation
- cryptography
vala and scientific numerical computation
Simple webapp for generating small ligand conformers
- computational-biology
- computational-chemistry
- conformer-generation
- rdkit