- Kyiv, Ukraine
-
20:10
(UTC +03:00) - https://groupoid.space
- https://orcid.org/0000-0001-7127-8796
- https://axiosis.top
- https://computer.5ht.co
- @5htco
- 5HT
Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ATS
- Agda
- Assembly
- BASIC
- Batchfile
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Dhall
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Forth
- Fortran
- Futhark
- Go
- Grammatical Framework
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Linker Script
- M4
- Makefile
- Markdown
- Mathematica
- Mercury
- Nix
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- Pug
- PureScript
- Python
- QML
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Scilab
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- V
- VCL
- VHDL
- Verilog
- Vim Script
- Vue
- Wikitext
- XSLT
- Yacc
- Zig
- q
Starred repositories
A intuitive, lightweight web framework in C for building modern web applications
Bootstrap Kubernetes the hard way. No scripts.
🌐 LDAP: Directory Server. ITU/IETF: 2849, 3296, 3671-3673, 3866, 4510-4518, 4522, 4525, 4526, 4929, 5480, X.519.
An open-source AI agent that brings the power of Grok directly into your terminal.
The easiest and fastest way to create and manage Kubernetes clusters in Hetzner Cloud using the lightweight distribution k3s by Rancher.
Function library for decoding 32-bit ARM and Thumb/Thumb-2 instruction sets.
Web application (Backend Restful service) that acts as a Verifier/RP trusted end-point.
Industry Working Group on Automated Cryptographic Algorithm Validation
A drone swarm simulator based on ROS (Robot Operating System).
Query node allocations/utilizations in kubectl
myriadrf / srsRAN_4G
Forked from srsran/srsRAN_4GsrsRAN 4G fork with native LMS API support
The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.