HOL-Theorem-Prover / HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
HOL-Theorem-Prover / HOL
RARgames / 4gaBoards
Straightforward realtime kanban boards management for intuitive task tracking. 4ga Boards features an elegant dark mode, collapsible todo lists, and multitasking tools to supercharge your team's productivity.
SideCloudGroup / BetterForward
Designed for better message forwarding in Telegram.
calmrocks / ai-engineer-notebooks
Hands-on, framework-free Colab notebooks for the AI Engineer / Forward Deployed Engineer (FDE) skill set — model APIs, structured output, tool calling, RAG, evals-as-the-spine, agents (loop from scratch, tool design, guardrails, MCP, Skills), fine-tuning vs LoRA, prompt-injection/security, LLMOps, and customer craft. Runs on the free Groq API.
oneclickvirt / pve
用于 Proxmox VE 的多架构一键服务器部署，支持批量或单独开设虚拟机，内置内外网端口转发和NAT，兼容 ARM64 与 AMD64 架构 One-click server deployment for Proxmox VE, supporting bulk or individual VM provisioning with built-in internal/external port forwarding. Compatible with both ARM64 and AMD64 architectures.
decionis / agent-safe-pipeline
An execution-authority gateway for AI agents and APIs. It intercepts consequential HTTP actions, asks Decionis whether they are authorized, and forwards exactly the authorized request once on a single-use grant, holds it for a person, or refuses it, leaving chained evidence of each. Installs by Homebrew, Linux package, Docker or Helm.
WofWca / jumpcutter
⏩ Fast-forwards long pauses between sentences — watch lectures ~1.5x faster (browser extension)
johnmarktaylor91 / torchlens
Capture every activation and gradient of any PyTorch model — forward and backward — with automatic graph visualization, rich metadata, and live interventions. Works on any architecture, including dynamic and recurrent ones.
fzwoch / obs-teleport
An OBS Studio plugin for an open DistroAV/NDI-like replacement. Pretty simple, straight forward. No NDI compatibility in any form.
OpenSmalltalk / opensmalltalk-vm
Cross-platform virtual machine for the Smalltalk implementations Squeak and Cuis
cmars / onionpipe
Onion addresses for anything.
aff3ct / aff3ct
Fast multi-thread FEC simulator & library of efficient digital communication algorithms for SDR.
dekusms / DekuSMS-Android
Android SMS app ~ Featuring E2EE, Cloud Forwarding, RMQ integrations
prometheus-msteams / prometheus-msteams
Forward Prometheus Alert Manager notifications to Microsoft Teams.
vognik / maltego-telegram
🔎 OSINT Maltego Transforms for investigating Telegram channels, groups, and users, including deanonymization via stickers, forwarded messages, similar channels, deleted posts, and more.
simonwep / ocular
💰 Ocular - A fancy, simplistic, beautiful and straight-forward, open-source budgeting tracking app to track your budget across the years. Easy to use, to get started and to set up.
amak-tech / port-buddy
Expose local ports to the internet in seconds
zju3dv / InfiniSplat
InfiniSplat v1 & v2: Feed-Forward 3D Gaussian Reconstruction
malevrigns / agent-jev
AgentJev-0.6B - a fast 'System One' decision model for AI Agents: feed it any unstructured state (diffs, traces, logs) and structured questions, get calibrated probability distributions back in one ~50ms forward pass. Zero output-token decoding.
since2006 / shell-rs
High-performance native SSH client in Rust, GPU-rendered with GPUI: host manager, terminal, WinSCP-style SFTP and port forwarding. Rust 编写、GPU 渲染的原生 SSH 客户端。
p10node / k10s
Kubernetes TUI you can click. Instant search, logs/exec/port-forward, 7 themes, context-aware AI. Single Go binary.
global-fde / awesome-fde-resources
A curated collection of resources, tools, practices, case studies, and opportunities for Forward Deployed Engineers.
zhangrongxiang / LeapTalk
We propose LeapTalk, a novel framework that achieves stable and real-time talking-head generation with a single forward step, scaling to arbitrarily long videos.
Vuk97 / forward-implementation-first
Stop your coding agent from stalling real work on self-invented bookkeeping - receipts, hashes, locks, certification rituals. Ship first, then verify. Skill for Claude Code, Codex, and other agents.
OmniJev / OneJev
🚀🚀 A multimodal System One decision model that gives calibrated answers to typed questions about screens, photos, video and text in one forward pass.
adityatandon15 / Forward-Deployed-Engineer-Full-Course
All Notes & Code for Forward Deployed Engineer series on CoderArmy
Charlesmpc / by2kb
Forward videos from IM to transcript, Markdown, and your knowledge base — with raw and skill-updated outputs.
lantunnel / lantunnel
Your private network, wherever you work. Peer-to-peer first, end-to-end encrypted access to your own LANs — no port forwarding, no public URLs.
allebee / jevk5
JevK5: open-weight alternative to TypeSafe Jev. Typed decisions with probabilities in one forward pass; Apache-2.0 weights and code.
Saganaki22 / ComfyUI-sol-attn
NVIDIA Sol-Attn for ComfyUI / Triton kernel on SM89 - SM121, with zero-copy MiniMax H3 nodes: memory-efficient attention, scheduled tau with graph preview, and feed-forward chunking. Measured 1.14–1.44× vs SageAttention and −37% MLP peak VRAM on H3
PastFly / Selective-Remote
Open-source RDP, SSH, SFTP and port forwarding client for macOS
Evergreen0929 / S4VY
The official implementation of 'S4VY: Segment Anything in Feed-Forward 4D Visual Geometry'
anibalribeiro / WinMice
Windows-style autoscroll (middle-click vector scrolling) and back/forward mouse side buttons for macOS. Tiny native Swift menu-bar app, about 1.7 MB, no Electron.
deeplethe / fde-gym
The online judge for the LLM era. Every case is a real customer delivery: you work it with a coding agent, and your system is judged once it is live.
gxfde / fde-workbench
Open-source FDE project workbench for research, AI opportunities, delivery and team collaboration.
hewanglanhao / deepvision-studio
Interactive deep learning lab for visualizing forward/backpropagation, training real PyTorch models, and exploring CNNs, Transformers, RNNs, and AI history.
RichardXu001 / the-fde-handbook
《FDE：企业AI落地实战手册》前线部署工程师（Forward Deployed Engineer）开源手册 | The FDE Handbook — an open-source playbook for Forward Deployed Engineers
immortalhowwl / gptheist
Ten agents pass one market decision forward. Any one of them can kill it.
bnsd55 / jevmlx
Jev-style parallel constrained decisions for any MLX model on Apple Silicon. Typed, schema-valid JSON in one forward pass.
JohnWatsoon / WatTunnel
Fast, encrypted TCP/UDP tunnel that keeps working when the network only lets ping through. ICMP, UDP, TCP, TLS, WebSocket, HTTP/2 and gRPC carriers in one process.
ikermoel / open-alternative-jev
Open-source alternative to TypeSafe's Jev: a System One style model layer that gives typed, calibrated decisions from any open-weights LLM in one forward pass (HF + vLLM), with honest benchmarks
Maldev-Academy / ApiHashing
Windows x64 API hashing library that bypasses EAF and resolves forwarded exports, ordinals, and api-ms-*/ext-ms-* API Set DLLs.
Hello-CTF / NexTerm
SSH、WinRM、SFTP、Docker、数据库与 AI 的一体化终端工作台
nandometzger / metal-gauss
Metal-native differentiable 3D Gaussian Splatting for Apple Silicon: fused forward+backward rasterizer on PyTorch MPS, no CUDA anywhere.
Roboquant-AI / tradingview-optimizer
Free, open-source TradingView strategy optimizer for Chrome. Grid search, walk-forward, heatmaps. By Roboquant.
leochlon / secant
RoPE attention is an exact forward-pass gradient step with softmax intact
soroushdeimi / sushTun
Xray desktop client that tunnels your whole system: split routing (Iran/Russia/China), per-username multi-exit SOCKS, Wi-Fi hotspot sharing, port forwarding, anti-filter tuning (fragmentation, ECH, REALITY PQ), low-usage mode.Windows, Linux & macOS..
cvg / Map-Det3D
[ECCV'26] Map-Det3D: Metric Feed-Forward 3D Reconstruction Prior for Multi-view 3D Object Detection from Streaming Inputs
MakkaPakka518 / Widgets-Disk
这是一个依靠Cloudflare workers部署的在线的小型文件储存面板。你可以用于储放Forward/Rex/Capyplayer的模块和模块合集，也可以存储一些小型文件。
kokojacket / openai-proxy
Local Responses API proxy for the ChatGPT Excel backend, with client-side tool forwarding.
brian-armstrong / fec
Rust crate for Forward Error Correction
VANdexj / OmniRisk
OmniRisk: omnidirectional trajectory-risk learning for agile quadrotor dynamic avoidance. One forward pass scores every maneuver onboard; real-world evasion at up to 15 m/s.
dataPro-lgtm / fde-interview-fieldbook
Source-backed, production-first FDE interview fieldbook with cases, scorecards, and current role research.
HeCC928 / shanghai-strategy-lab
```text Interactive A-share strategy research with staged entries, walk-forward validation, trade-level explanations and offline reports. Built with Python, React and FastAPI.
bahni-m / code-with-quran
Read the Qur'an while Claude Code works. Start a session with 'claude --cwq' and a reader beside it walks forward through the Qur'an one ayah per prompt, resuming where you left off — in a terminal pane or a browser tab. Zero dependencies, fully offline.
nico-martin / open-jev
open-jev is a browser-focused TypeScript library for typed decisions: one piece of text (the state) plus any number of typed questions go in, and one forward pass returns a calibrated probability distribution per question. Nothing is generated, so an answer is always one of the options you provided.
mpnikhil / dev-0.4b
Dev (dev-0.4b): a 0.4B bidirectional decision model on ModernBERT-large for routing, yes/no verification, and 1-5 rating. Non-generative single forward pass with calibrated confidence.
BudgieBazaar / Windscribe-VPN-Secure-Tunnel-Browser-Pack
Windscribe VPN Secure Tunnel Browser Pack - Local Windows build featuring every professional module and a simple install routine.
lujinxin / NeXtep
NeXtep is a modern Android multitasking workspace that brings a main app and multiple side windows into one unified view. Inspired by and built in tribute to Smartisan OS OneStep, it carries its boundary-breaking vision forward on rooted Android devices.
mithalouni / system-one-open
Open replica of TypeSafe's Jev: typed calibrated decisions in one forward pass, on Gemma 4 E2B / Gemma 3 270M (Modal)