- United Kingdom
- https://www.logicista.com/
Stars
- All languages
- Assembly
- Batchfile
- Brainfuck
- C
- C#
- C++
- C3
- CSS
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dockerfile
- Erlang
- F#
- F*
- Fortran
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- KCL
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Max
- Nim
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PowerShell
- Prolog
- Python
- R
- Racket
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Visual Basic
- Vyper
- WebAssembly
- Wren
CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K
Seemingly normal USB drive with a hidden security feature
A Z80/CP/M emulator for Linux and Windows, with Z80 and 8080 CPU cores. It translates BDOS and BIOS calls to the host file system, so CP/M 2.2 programs use host files and need no disk image.
Stream and merge OCI image layers into squashfs, tar, or directory output
OpenAI-compatible proxy that stacks the free tiers of 28 LLM providers (~4B tokens/month) behind one /v1 endpoint — plus any custom OpenAI-compatible endpoint. Smart routing, automatic failover, en…
Embeddable scripting language in a single C header (stack-based VM, dynamically typed, ref counted, no OOP, no exceptions).
An modern, flexible replacement of auditd written in Rust with added quality of life features.
Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦
A Complete enhanced version of the PXE server supporting booting from ISOs written in Golang and Deployable via containers or binaries.
An open-source protocol and distributed network for confidential coordination.
Sealed execution environment for GitHub Actions. Stop supply chain attacks dead in their tracks.
A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.
CLI tool to calculate SEV-SNP measurements from OVMF firmware files for Google Cloud Confidential VMs. Built around gce-tcb-verifier library.
NT 3.5 powered Lua lambda functions with x402 on Algorand
Matching decompilation of the Iris Development Option compiler
PowerPC Windows NT ported to Nintendo GameCube/Wii/Wii U
High-Quality Voice Cloning TTS for 600+ Languages
A lightweight Linux-based installer for multiple Windows NT versions, supporting partitioning, formatting, and sysprepped image deployment. Installs in seconds on both modern and legacy systems.
A telepresence system for Claude Code that allows Claude to be accessed from any system with a K&R C compiler. Includes MCP tools to replace Read, Write, Search, etc. and proxies shell to make deve…
Find zero-days while you sleep. DeepZero is an automated vulnerability research framework that parses, decompiles, and analyzes thousands of Windows kernel drivers for exploitable IOCTLs natively u…