Stories by adamnemecek

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

Cretaceous–Paleogene Extinction Event

BiVector: Community for Geometric Algebra for CGI, Vision and Engineering

Geometric Algebra for Computer Graphics

BiVector: Community for Geometric Algebra for CGI, Vision and Engineering

Linear Canonical Transformation

Hecke.jl: Computational algebraic number theory

Discrete Differential Geometry: An Applied Introduction [pdf]

Quaternionic representation of the genetic code (2015)

Julia: A compiler for the future, talk by Simon Danish

Interpolation is just a special type of convolution

The Co-Intuitions of Cointuitionism (2016)

3D kinematics using dual quaternions: applications in neuroscience (2013)

Intro to ATS Programming Language

Silicon: Create beautiful image of your code (in Rust)

Rust as the New C Part 1: Building and Combining Native Libs into C API

Nonequispaced FFT: An Indispensable Algorithm for Applied Science (2008)

Rust implementation of projects from “Modern Compiler Implementation in ML”

Theoretical Physics Reference

MiniJulia: Toy implementation of the Julia programming language (2016)

18
19
20
21
22
23
24
25
26
27