skaslev
Follow
-
kubectl-watch Public
kubectl plugin for watching cluster resource changes
-
redis Public
Forked from redis/redisRedis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…
C Other UpdatedSep 13, 2025 -
-
-
catmull-clark Public
Catmull-Clark subdivision surfaces demo
-
-
redis-docs Public
Forked from redis/docsDocumentation for Redis, Redis Cloud, and Redis Enterprise
Python Other UpdatedMay 13, 2025 -
-
-
chromedp Public
Forked from chromedp/chromedpA faster, simpler way to drive browsers supporting the Chrome DevTools Protocol.
Go MIT License UpdatedJan 19, 2024 -
-
-
articles Public
Forked from quchen/articlesMiscellaneous articles. The readme is the table of contents.
Haskell UpdatedNov 22, 2022 -
yt-dlp Public
Forked from yt-dlp/yt-dlpA youtube-dl fork with additional features and fixes
Python The Unlicense UpdatedSep 28, 2022 -
codesearch Public
Forked from google/codesearchFast, indexed regexp search over large file trees
Go BSD 3-Clause "New" or "Revised" License UpdatedMay 28, 2022 -
-
euclid Public
Forked from blu/euclidAn extremely naive prime factorizer
C++ MIT License UpdatedJul 19, 2020 -
thru Public
thru measures throughput between guest vm and host using fifo/tcp/udp/vsock
-
proofs-talk Public
Code and slides from the talk "Introduction to Theorem Proving in Lean"
-
meltdown Public
Forked from isec-tugraz/meltdownThis repository contains several applications, demonstrating the Meltdown bug.
C zlib License UpdatedJan 9, 2018 -
presburger Public
Forked from yav/presburgerDecision procedures for Presburger arithmetic in Haskell
Haskell MIT License UpdatedSep 25, 2017 -
wlocate Public
Forked from wwfx/wlocateFaster locate/updatedb alternative
C GNU General Public License v3.0 UpdatedSep 20, 2017 -
-
instant-meshes Public
Forked from wjakob/instant-meshesInteractive field-aligned mesh generator
C++ Other UpdatedSep 6, 2017 -
glucat Public
Forked from penguian/glucatGluCat: Clifford algebra templates
C++ Other UpdatedAug 23, 2017 -
what-happens-when Public
Forked from alex/what-happens-whenAn attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
1 UpdatedJul 31, 2017 -
-
-
Combinatorial Public
Forked from dpiponi/CombinatorialCombinatorial library derived from http://blog.sigfpe.com/2007/11/small-combinatorial-library.html
Haskell UpdatedFeb 6, 2017 -
galgebra Public
Forked from pygae/galgebraPython BSD 3-Clause "New" or "Revised" License UpdatedJan 11, 2017