fork of cinpy as found somewhere on the internet
☆14Dec 5, 2018Updated 7 years ago
Alternatives and similar repositories for cinpy
Users that are interested in cinpy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A very simple implementation of a little dependently typed language☆11Aug 30, 2012Updated 14 years ago
- Tagged union types and immutable records (product types) in Python☆11Jun 5, 2017Updated 9 years ago
- Hex Studio is a work in progress Hex viewer and editor.☆27Jun 7, 2017Updated 9 years ago
- Python rendering framework for signed distance function geometries☆10Aug 16, 2022Updated 4 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Raspberry Pi Pico frequency divider☆15Nov 21, 2021Updated 4 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Example of using libuvc with openFrameworks on Mac.☆10Aug 24, 2018Updated 8 years ago
- Processing sketch based on the spirograph principle☆16Sep 14, 2021Updated 5 years ago
- SDF-based CAD☆14Apr 15, 2025Updated last year
- tool to extract Android image☆10Sep 24, 2019Updated 7 years ago
- Generate Serialization Functions for C++ classes and structs using python and libclang☆12Feb 24, 2018Updated 8 years ago
- eyuyan image rebuild tools source code☆13Sep 1, 2016Updated 10 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Steve Baker's Tree Command for Linux☆11Jan 12, 2015Updated 11 years ago
- Snowman decompiler (classner)☆14May 25, 2026Updated 5 months ago
- It is a shell script that enables rerouting all traffic (TCP and UDP) to ssh tunnel though socks5 proxy. Powered by badvpn-tun2socks.☆11Aug 30, 2014Updated 12 years ago
- Collection of Nvidia specs for Ghidra☆11Mar 22, 2021Updated 5 years ago
- A simple Docker container that forwards incoming TCP or UDP traffic to a specific IP.☆11Nov 20, 2020Updated 5 years ago
- Zoho ManageEngine Desktop Central CVEs☆15Oct 5, 2020Updated 6 years ago
- Python term rewriting☆31Feb 14, 2013Updated 13 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆22Nov 21, 2020Updated 5 years ago
- Another Remote Access Control software, written in Golang. It heavily relies on cryptography to avoid threat of botnet use/abuse by other…☆12Jan 12, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Labeled Effects Extension to PureScript☆21Oct 29, 2017Updated 9 years ago
- Protocon is a socket-centric framework for rapidly prototyping connections through simple send and receive transcripts.☆11Feb 17, 2024Updated 2 years ago
- Pentest environment scaffolding. Supporting role in Kali Linux.☆13Jun 23, 2020Updated 6 years ago
- ☆11Sep 13, 2020Updated 6 years ago
- ☆12Nov 19, 2023Updated 2 years ago
- Fixed-point arithmetic in C++☆12Sep 25, 2013Updated 13 years ago
- ☆15Dec 26, 2017Updated 8 years ago
- Record Zoom meetings automatically in headless docker container with Python and FFmpeg supporting hardware acceleration for encoding☆10Aug 18, 2026Updated 2 months ago
- compilers for arithmetic circuits☆14May 17, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A video frame image provider for hooking up to iterators and ranges and ControlNets and such for invokeAI node experimentation. Think ani…☆11Oct 17, 2025Updated last year
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 9 years ago
- Simple VAX Kernel☆13Sep 9, 2013Updated 13 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 9 years ago
- A cross platform terminal emulator. Buildin plugin system support python and c/c++ plugin.☆14Aug 7, 2023Updated 3 years ago
- Compression for Video Conferencing☆14Sep 14, 2022Updated 4 years ago
- Binomial model☆12Aug 28, 2019Updated 7 years ago