- London, United Kingdom
- https://blog.indoorvivants.com/
- @velvetbaldmime
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ApacheConf
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Elm
- F#
- Flix
- Fortran
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Markdown
- Mojo
- Objective-C
- PHP
- PLpgSQL
- Python
- R
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Starlark
- Swift
- TSQL
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- WebAssembly
- Zig
Providing a consistent live reload experience for any web application on the JVM.
Tiny script which generates and uploads PGP key
Web interface to sn-bindgen (https://sn-bindgen.indoorvivants.com/) to generate Scala 3 Native bindings to C header files
turtles, patches, and links for kids, teachers, and scientists
Examples of using Scala 3 Native to interop with various C libraries using sn-bindgen
🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.
Smithy code generator for the Unison language
A Scala library that enables user to easily implement fraud detection feature into their solution
The official repository of the Scala Projects course
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A Devise-like authentication library for Http4s
Proof assistant based on first-order logic and set theory
Simple and safe pickling library for closures in Scala 3
wasmCloud is an open source Cloud Native Computing Foundation (CNCF) project that enables teams to build, manage, and scale polyglot apps across any cloud, K8s, or edge.
Library of 40+ independent Lua modules improving Neovim experience with minimal effort
Laminar bindings for WebAwesome web components library