- Kyiv, Ukraine
-
22:18
(UTC +03:00) - https://groupoid.space
- https://orcid.org/0000-0001-7127-8796
- https://axiosis.top
- https://computer.5ht.co
- 5HT
- @norbuketaka
Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ASN.1
- 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
- M4
- Makefile
- Markdown
- Mercury
- Nix
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- 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
- Wolfram Language
- XSLT
- Yacc
- Zig
- q
Starred repositories
Zabrane / ymawky
Forked from imtomt/ymawkyMacOS Web Server written entirely in ARM64 assembly
myriadrf / srsRAN_4G
Forked from srsran/srsRAN_4GsrsRAN 4G fork with native LMS API support
bitedits / ps3sdk
Forked from ps3dev/PSL1GHTOpen source library for PS3 development.
bitedits / ps2sdk
Forked from ps2dev/ps2sdkOpen source library for PS2 development.
bitedits / ps3rsx
Forked from crystalct/RSXGLThe RSX Graphics Library for PS3.
frno7 / linux
Forked from torvalds/linuxLinux 2.2, 2.6, 3.x, 4.x and 5.x kernels for the PlayStation 2.
ulidtko / agda-pythagoras
Forked from ikedaisuke/PythagorasA proof of Pythagoras's theorem in Agda2 (from the original proof by Thierry Coquand)
tinysun212 / swift-windows
Forked from swiftlang/swiftSwift compiler for Cygwin, MSVC, MinGW. Full development environment can be downloaded from the Swift for Windows.
TomHarte / dis68k
Forked from wrm-za/dis68kModernised version of W. de Waal's public domain 68000 disassembler.
mansr / sox
Forked from cbagwell/soxSoX, Swiss Army knife of sound processing
EuFlo / sacd-ripper
Forked from sacd-ripper/sacd-ripperSACD ripping software using a PS3
erpuno / smtp
Forked from gen-smtp/gen_smtp💠 SMTP: Поштовий сервер та клієнт
symsx / asMSX
Forked from Fubukimaru/asMSXAsMSX, originally developed by Pitpan. More info: https://www.msx.org/wiki/AsMSX.
nicolaikraus / HoTT-Agda
Forked from HoTT/HoTT-AgdaDevelopment of homotopy type theory in Agda
corellium / linux-m1
Forked from torvalds/linuxLinux kernel source tree
theNestruo / MetalGear
Forked from GuillianSeed/MetalGearFully annotated disassembly of the original Metal Gear game (MSX2, Konami, 1987, RC750)
angel-popov / mqtt-hs
Forked from dustin/mqtt-hsHaskell MQTT client.
Lean standard library
Modifications of Niles Johnson's Hopf Fibration drawing code
Saizan / cat
Forked from fredefox/catFormalizing Category Theory in Agda using Cubical Type Theory
nponeccop / cubicaltt
Forked from mortberg/cubicalttExperimental implementation of Cubical Type Theory
AlexanderKai / n2o
Forked from synrc/n2oWebSocket Application Server for Enterprises