Pinned Repositories
android-proxy-toggle
Small application to help android developers to quickly enable and disable proxy settings
bookmarkdiff
A simple tool writen in chicken scheme for extracting new bookmarks from two html bookmark files exported from Firefox/Chrome.
cgit
Read-only mirror of https://git.zx2c4.com/cgit/about . Pull requests and issues on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes is via the mailing list; see https://lists.zx2c4.com/mailman/listinfo/cgit .
erc-logger
A simple irc logger written in elisp!
MathModeling
Minerva
An implementation of R5RS Scheme in Common Lisp and C.
scheme-prime-sieve
Calculating prime numbers using Sieve of Eratosthenes
sicp-exercises
My solutions to some of the exercises in SICP.
subscribe2clash
v2ray\trojan\ss\ssr\ssd订阅转换Clash规则配置,自动更新ACL4SSR路由规则
teddit
alxbnct's Repositories
alxbnct/emacs-ng
A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.
alxbnct/hoppscotch
Open source API development ecosystem - https://hoppscotch.io (open-source alternative to Postman, Insomnia)
alxbnct/polars
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
alxbnct/apollo
Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.
alxbnct/chisel
Chisel: A Modern Hardware Design Language
alxbnct/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
alxbnct/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
alxbnct/dbeaver
Free universal database tool and SQL client
alxbnct/f3d
Fast and minimalist 3D viewer.
alxbnct/fastfetch
An actively maintained, feature-rich and performance oriented, neofetch like system information tool.
alxbnct/flatpak
Linux application sandboxing and distribution framework
alxbnct/folly
An open-source C++ library developed and used at Facebook.
alxbnct/hackingtool
ALL IN ONE Hacking Tool For Hackers
alxbnct/harelang
A macos port of the hare language (https://harelang.org). See README.darwin.
alxbnct/Idris-dev
A Dependently Typed Functional Programming Language
alxbnct/Idris2
A purely functional programming language with first class types
alxbnct/iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
alxbnct/ispc
Intel® Implicit SPMD Program Compiler
alxbnct/machinelearning
ML.NET is an open source and cross-platform machine learning framework for .NET.
alxbnct/nativelink
NativeLink is an open source high-performance build cache and remote execution server, compatible with Bazel, Buck2, Reclient, and other RBE-compatible build systems. It offers drastically faster builds, reduced test flakiness, and significant infrastructure cost savings.
alxbnct/neofetch
🖼️ A command-line system information tool written in bash 3.2+
alxbnct/onnxruntime
ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
alxbnct/phoenix
Peace of mind from prototype to production
alxbnct/piko
An open-source alternative to Ngrok, designed to serve production traffic and be simple to host (particularly on Kubernetes)
alxbnct/raylib
A simple and easy-to-use library to enjoy videogames programming
alxbnct/redis
Redis 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, Bitmaps.
alxbnct/seaweedfs
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC active-active replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding.
alxbnct/Stirling-PDF
#1 Locally hosted web application that allows you to perform various operations on PDF files
alxbnct/tinygo
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
alxbnct/typst
A new markup-based typesetting system that is powerful and easy to learn.