- Sein und Zeit
-
08:03
(UTC +08:00) - https://jellyterra.com
- @jellyterra
- @jellyterra
- https://soundcloud.com/jellyterra
Lists (32)
Sort Name ascending (A-Z)
App Framework
Fast DevelopmentApplications
Bindings
Blockchain
CAD
Community
Blog, Post, Chat, Comment, Live StreamingCompiler Infra
Compilers, Runtime, Program AnalyzersCourse
Courses and labsData Engineering
Database, Query Engine, KV Storage, Indexing, Data MiningDocs
Spec, Academic DocsEmbedded Systems
Entertainment
Game, MediaExploits
Fun stuff
Something odd but funny.Hardware Design Toolset
EDA, RTL, HLSHardware Designs
CPU, Peripheral, HDL, CircuitHPC
Vector, RDMA, GPGPU, nico-nico-niHumour Project
Memes, Features running on bugs.Legacy
Ultra old things. Last century mostly.Machine Learning
NN infrastructureMathematics
Logic, Formal, Proof, Algebra and so on...Mechanics
CV and sensors and robots for automation.Misc
Typeface, DIY, theorem toys, Uncategoried.Models
NN models.Productivity
IDEs, EditorsResearch
Simulation
System Infra
Computing, Graphics, Kernel, Daemon, ContainerUtilities
Toolkits, LibrariesVerification
Formal, Spec, Model checkingVisualization
Charts, GraphicsWeb
Web Infra, FrameworksStars
- All languages
- Ada
- Agda
- Assembly
- Astro
- Batchfile
- Bluespec
- C
- C#
- C++
- C3
- CMake
- CSS
- Clojure
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Flix
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- MoonBit
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PEG.js
- PHP
- PostScript
- Python
- Racket
- ReScript
- Rocq Prover
- Ruby
- Rust
- SMT
- Sail
- Scala
- Scheme
- Shell
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- V
- VHDL
- Verilog
- Vue
- WebAssembly
- Zig
SIMON and SPECK cipher implementation. Passed testing with example vectors.
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
Native PC gaming with Steam, Epic, GOG and Amazon integrations on Android
Transforms UDP stream into (fake) TCP streams that can go through Layer 3 & Layer 4 (NAPT) firewalls/NATs.
dkms module of Linux i915 driver with SR-IOV support
Rust implementation of Tailscale (preview, experimental)
Fork of tess-two rewritten from scratch to support latest version of Tesseract OCR.
The SIMON and SPECK families of lightweight block ciphers. #nsacyber
PC Software for BambuLab and other 3D printers
Userspace WireGuard® Implementation in Rust
Siemens/Mentor EDA software license generate and patch tool
Open Source DeepWiki: AI-Powered Wiki Generator for GitHub/Gitlab/Bitbucket Repositories. Join the discord: https://discord.gg/gMwThUMeme
Repository to store exploits created by Assetnotes Security Research team
Gather and update all available and newest CVEs with their PoC.
Copy Fail (CVE-2026-31431): 9-year-old Linux kernel LPE found by Theori's Xint Code
SYmbolic Circuit ANalysis with integrated circuit emphasis
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Synthesizer plug-in (previously released as Vember Audio Surge)
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…