-
IDEA
- Complex Manifold
-
05:20
(UTC +08:00) - caimeo.online
- https://sr.ht/~caimeo
- https://www.codewars.com/users/CAIMEO
Highlights
Lists (13)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- APL
- Ada
- Agda
- Assembly
- BQN
- Batchfile
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Earthly
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Frege
- GAP
- GLSL
- Game Maker Language
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- JSON
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Markdown
- Mathematica
- Mercury
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- Perl
- PowerShell
- Prolog
- PureScript
- Python
- Racket
- ReScript
- Reason
- Rich Text Format
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Shen
- Solidity
- Spline Font Database
- Standard ML
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- Typst
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- YARA
- Zig
Starred repositories
Free monads based on intuitions from the Data types Γ la Carte paper. Combine functors and make embedded DSLs in Haskell.
Everything about note management. All in Zotero.
β¨ Programming Language Research, Applied PLT & Compilers
Structured data editor built inside VS Code
Incremental computation through constrained memoization.
A curated list of awesome tools and technology to help you out with ricing on linux
Experimental WASM Microkernel Operating System
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
π» Primitive and flexible state management for React
An attempt to better support Minecraft-related content for the Nix ecosystem
Extract the ABI (and resolve proxies, and get other metadata) from Ethereum bytecode, even without source code.
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Dockerfile linter, validate inline bash, written in Haskell
A Rust crate for cooking up terminal user interfaces (TUIs) π¨βπ³π https://ratatui.rs
Simple, powerful and flexible site generation framework with everything you love from Next.js.
A statically typed language compatible with Python
Blazing π₯ fast terminal-ui for git written in rust π¦
An OCaml kernel for Jupyter (IPython) notebook
A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)
Simple, elegant, Pythonic functional programming.
Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.
π§ Write atomic components using only CSS! (JS-from-CSSβ’)
Markdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed