anton-petrunin / kiselyovView external linksLinks
Геометрия по Киселёву
☆28Dec 30, 2025Updated last month
Alternatives and similar repositories for kiselyov
Users that are interested in kiselyov are comparing it to the libraries listed below
Sorting:
- Euclidean plane and its relatives; a minimalist introduction.☆19Dec 19, 2025Updated last month
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- pthread (winpthreads/libpthread) replacement for Windows 9x/NT☆29Jul 7, 2025Updated 7 months ago
- OpenGlide for Windows 9x☆32Jun 30, 2025Updated 7 months ago
- Simple hack for enabling SSE/AVX instructions on DOS and Windows 95/98☆32Oct 4, 2025Updated 4 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42May 7, 2025Updated 9 months ago
- The Scala programming language☆16Mar 31, 2023Updated 2 years ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- A local tiddlywiki server☆12May 6, 2017Updated 8 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago
- Git O'Clock : A git toolbox for use in terminal.☆10Mar 5, 2023Updated 2 years ago
- CLI to organize image files into a folder hierarchy based on EXIF data☆11Dec 1, 2025Updated 2 months ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Pong game written in the boot sector☆38Jan 26, 2026Updated 3 weeks ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- ☆20Nov 14, 2025Updated 3 months ago
- Filesystem browser written in RapidApp☆11Oct 26, 2020Updated 5 years ago
- An implementation of the Xerox IFS protocol suite☆12Oct 3, 2023Updated 2 years ago
- XCB-based terminal emulator☆10Aug 12, 2021Updated 4 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- VHDL 1802 Core with TinyBASIC for the Lattice MachXO2 Pico board☆14Dec 23, 2016Updated 9 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Analog and RF blocks on Skywaters 130nm☆11Jul 30, 2022Updated 3 years ago
- Matcher for json and json template. Can help you with testing of REST API, Database, 3d party systems etc☆15Apr 24, 2021Updated 4 years ago
- A git subcommand to apply skeleton repository continuously☆15Updated this week
- A snake game for MS-DOS. 🐍☆19Sep 3, 2024Updated last year
- Hardware random number generator for FPGAs☆10May 7, 2015Updated 10 years ago
- This is the Google/EFabless/Skywater Caravel submission of an Analog Spiking Neuron Circuit. The submission also includes a SONOS transis…☆11Apr 21, 2023Updated 2 years ago
- uTP implementation in Erlang☆22Jun 9, 2012Updated 13 years ago
- RDF discovery and publication platform☆10Jan 30, 2026Updated 2 weeks ago
- ☆18Dec 17, 2015Updated 10 years ago
- Historic Lilith emulator developed in summer 1983 for bootstrapping Modula-2 to another platform☆10Jan 22, 2020Updated 6 years ago
- Solvers and makers for Pencil Puzzles☆19Nov 15, 2011Updated 14 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago