Repository Index

Performance-portable, length-agnostic SIMD with runtime dispatch

• simd
• simd-instructions
• simd-programming
• intrinsics

Decorator which checks whether the function is called with the correct type of parameters.

• python
• type-checking
• runtime-checking
• typechecking

Load Common Lisp code blocks from Org files

• literate
• programming
• lisp
• org

High-speed approximate nearest neighbors for Ruby

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers