Геометрия по Киселёву
☆29Feb 19, 2026Updated 2 months ago
Alternatives and similar repositories for kiselyov
Users that are interested in kiselyov are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Euclidean plane and its relatives; a minimalist introduction.☆19Dec 19, 2025Updated 4 months ago
- Tasty Bits of Several Complex Variables, graduate textbook☆20Mar 29, 2026Updated last month
- transform literate source code to Markdown☆14Dec 19, 2025Updated 4 months ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- LISP Evaluator for FreeBASIC. An embedded LISP interpreter written entirely in FreeBASIC for use with FreeBASIC applications.☆11Nov 20, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- uTP implementation in Erlang☆22Jun 9, 2012Updated 13 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Erlang Parser Combinator library for Parser Expression Grammars ( PEG)☆13Jun 13, 2015Updated 10 years ago
- Simple Sourcing example applications☆13Dec 8, 2022Updated 3 years ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Sep 7, 2022Updated 3 years ago
- Скрипт для Википедии, позволяющий выполнять ёфикацию статей в полуавтоматическом режиме☆16Apr 1, 2026Updated 3 weeks ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- D3DQuake is id Software's Quake modified to use Direct3D 7.0.☆11Aug 23, 2014Updated 11 years ago
- A topology textbook with a hubristic title☆31Jan 13, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Small, simple, expression-oriented programming language.☆31Mar 2, 2026Updated last month
- pthread (winpthreads/libpthread) replacement for Windows 9x/NT☆31Jul 7, 2025Updated 9 months ago
- DirectDraw HAL implementation for VMDisp9x driver☆13Oct 18, 2025Updated 6 months ago
- Redistributable WinSDK & MSVCRT import libraries☆16Jun 7, 2024Updated last year
- Wrapper for using libwebview from GNU Guile☆13Mar 15, 2025Updated last year
- Tiger Compiler implemented in F#☆11Jul 11, 2021Updated 4 years ago
- This repository is the original work of Paul Nankervis and originally lived at this location: https://skn.noip.me/pdp11/pdp11.html☆15Nov 23, 2022Updated 3 years ago
- Simple hack for enabling SSE/AVX instructions on DOS and Windows 95/98☆32Oct 4, 2025Updated 6 months ago
- ENet implementation in Erlang/OTP☆13Jul 11, 2025Updated 9 months 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 statically typed embedding of miniKanren in Haskell☆26Jun 8, 2025Updated 10 months ago
- A web-based Markdown note-taking App for developers by Shaan Alam 🔥☆12Aug 30, 2023Updated 2 years ago
- Chocolate Doom backported to DOS☆13Jul 10, 2025Updated 9 months ago
- Our slides for meetups and conferences☆16Feb 8, 2021Updated 5 years ago
- Eivor Auto Setup Tool - Easily generate scripts to install your configuration across distributions.☆13Oct 24, 2019Updated 6 years ago
- A port of Doom for Xenix 386☆17Dec 2, 2021Updated 4 years ago
- A simple "stateless" finite-state machine library for .NET.☆22Feb 9, 2026Updated 2 months ago
- This is the hub for all the projects that are part of the Serilog Contrib Organization☆16Jun 3, 2021Updated 4 years ago
- Setting up a Haskell development environment with Nix☆20Sep 16, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- cprops - C Prototyping Tools☆12Jul 27, 2012Updated 13 years ago
- ☆21Aug 23, 2022Updated 3 years 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
- Scala Library for Reading Flat File Data (CSV/TSV/XLS/XLSX)☆11Jul 13, 2023Updated 2 years ago
- PHP client for Telegraph API http://telegra.ph/api☆12Dec 11, 2022Updated 3 years ago
- pmap.c: implementation of something like Solaris' /usr/proc/bin/pmap☆16Sep 19, 2012Updated 13 years ago