- 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
🎒 Token-Oriented Object Notation (TOON) – A compact, deterministic JSON format 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 serialization/pickling library for closures/functions 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
dot-config promotes use of .config folders for project level settings
Generate code with Smithy4s in the browser
Strawman for unopinionated wrapper over non-blocking io
chanterelle is a library that provides a map-like DSL over named tuples. Scala 3 only. Some chanterelles are scaly.