Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / KDr2 19 repositories

He who idles.

KDr2/org-mode

Mirror of Orgmode official repository

Language: Emacs Lisp - Size: 104 MB - Last synced: about 19 hours ago - Pushed: about 21 hours ago - Stars: 1 - Forks: 0

KDr2/racket Fork of racket/racket

The Racket repository

Language: Racket - Size: 334 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 0 - Forks: 0

KDr2/cl-fastcgi

A Generic Version of SB-FastCGI, runs on mostly Common Lisp implementations.

Language: Common Lisp - Size: 93.8 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 12 - Forks: 6

KDr2/sb-fastcgi

FastCGI low-level API and WSGI-Style API for SBCL

Language: Common Lisp - Size: 88.9 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 28 - Forks: 4

KDr2/plfa.github.io Fork of plfa/plfa.github.io

An introduction to programming language theory in Agda

Language: Agda - Size: 97.6 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0

KDr2/PLFA-zh Fork of Agda-zh/PLFA-zh

《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版

Language: Haskell - Size: 86 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 1 - Forks: 0

KDr2/DS-III

💫The Death Star III☄

Language: Shell - Size: 746 KB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 2 - Forks: 0

KDr2/emscripten Fork of emscripten-core/emscripten

Emscripten: An LLVM-to-WebAssembly Compiler

Language: C++ - Size: 229 MB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 0 - Forks: 0

KDr2/skia Fork of google/skia

Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.

Language: C++ - Size: 825 MB - Last synced: 12 days ago - Pushed: 13 days ago - Stars: 0 - Forks: 0

KDr2/agda-stdlib Fork of agda/agda-stdlib

The Agda standard library

Language: Agda - Size: 16 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 0 - Forks: 0

KDr2/ghc Fork of ghc/ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Language: Haskell - Size: 376 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 0 - Forks: 0

KDr2/public-assets

Database of my public assets, don't star, don't fork.

Language: Python - Size: 30.6 MB - Last synced: 26 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

KDr2/binaryen Fork of WebAssembly/binaryen

Compiler infrastructure and toolchain library for WebAssembly

Language: WebAssembly - Size: 122 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

KDr2/redis-leveldb

A redis-protocol compatible frontend to google's leveldb

Language: C++ - Size: 147 KB - Last synced: 26 days ago - Pushed: almost 2 years ago - Stars: 199 - Forks: 29

KDr2/emacs

Mirror of https://git.savannah.gnu.org/git/emacs.git

Language: Emacs Lisp - Size: 463 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

KDr2/postgres Fork of postgres/postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see http://wiki.postgresql.org/wiki/Submitting_a_Patch

Language: C - Size: 520 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

KDr2/typst Fork of typst/typst

A new markup-based typesetting system that is powerful and easy to learn.

Language: Rust - Size: 118 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

KDr2/pytorch Fork of pytorch/pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language: Python - Size: 1.07 GB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 1

KDr2/kdr2-on-web

🤖 KDr2 on Web 🕸 🌎

Language: Emacs Lisp - Size: 1.93 MB - Last synced: 26 days ago - Pushed: about 2 months ago - Stars: 17 - Forks: 4

KDr2/agda Fork of agda/agda

Agda is a dependently typed programming language / interactive theorem prover.

Language: Haskell - Size: 126 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

KDr2/rust Fork of rust-lang/rust

Empowering everyone to build reliable and efficient software.

Language: Rust - Size: 1.19 GB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

KDr2/kittle-buffer

Kittle Buffer, or KBF for short, is an extended Brainf**k implementation.

Language: Racket - Size: 150 KB - Last synced: 26 days ago - Pushed: about 2 years ago - Stars: 9 - Forks: 0

KDr2/llvm-project Fork of llvm/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Size: 2.22 GB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

KDr2/julia Fork of JuliaLang/julia

The Julia Language: A fresh approach to technical computing.

Language: Julia - Size: 260 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

KDr2/emacs.d

🖌 Emacs Configuration📘

Language: Emacs Lisp - Size: 266 KB - Last synced: 26 days ago - Pushed: 3 months ago - Stars: 8 - Forks: 1