Pinned Loading

1. 3d-mouse-plus-blender 3d-mouse-plus-blender Public

   A Blender Addon for transforming objects with a 3DConnexion mouse

   Python 4

2. ℕ = ℕ is decidable ℕ = ℕ is decidable

   1

   open nat

   2

   3

   /--

   4

    Decide whether two natural numbers are equal

   5

    (already included in LEAN standard lib)

3. Rust Cartesian Product Iterator Rust Cartesian Product Iterator

   1

   mod util;

   2

   use std::ops::Range;

   3

   use util::*;

   4

   5

   fn main() {

4. fast_array_write.c fast_array_write.c

   1

   #include <setjmp.h>

   2

   #include <signal.h>

   3

   #include <stdio.h>

   4

   #include <stdlib.h> // EXIT_SUCCESS

   5

   #include <unistd.h> // sbrk

5. ts-unsound-finder ts-unsound-finder Public

   Scripts for mining type system bypasses from TypeScript projects

   TypeScript

6. sync-sharedarraybuffer sync-sharedarraybuffer Public

   A collection of synchronization primitives for use with SharedArrayBuffer and Atomics

   JavaScript 1