Введение в программирование на языке OCaml
☆14Jul 25, 2019Updated 6 years ago
Alternatives and similar repositories for Ocaml-intro
Users that are interested in Ocaml-intro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Apr 28, 2025Updated 11 months ago
- Paul Graham, “On Lisp" - translation into russian☆69Feb 24, 2016Updated 10 years ago
- Fun and simple color schemes for Sublime Text☆16May 2, 2023Updated 2 years ago
- Implementation different tasks from LeetCode☆12Jun 11, 2024Updated last year
- Вращающийся светодиодный дисплей на Arduino и WS2812☆33Sep 9, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- partitioned map for write heavy workloads☆14Nov 6, 2025Updated 4 months ago
- SICP in JavaScript☆12Mar 31, 2016Updated 9 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 8 months ago
- A tool for OpenTelemetry tracing on the command line☆22Mar 8, 2025Updated last year
- minimalistic ci on top of k8s☆14Feb 21, 2020Updated 6 years ago
- Type-safe heterogeneous lists for C# and F#.☆10Aug 6, 2018Updated 7 years ago
- AstroNvim v4 config☆18Mar 10, 2026Updated 2 weeks ago
- Define and run in-memory broker☆12Aug 21, 2022Updated 3 years ago
- Quiz app created in the Try Ember course☆10Mar 4, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Go web service to create and read self destructing notes.☆17Jul 25, 2022Updated 3 years ago
- ☆10Aug 5, 2016Updated 9 years ago
- Diagrams to visually learn Falco and its eBPF probe☆15Jun 24, 2021Updated 4 years ago
- Erlang web playground http://tryerl.seriyps.ru/☆34May 28, 2025Updated 10 months ago
- Go trading bot (crypto, Binance, Bybit)☆19Mar 21, 2026Updated last week
- Телеграм бот, парсер данных английских слов для быстрого создания flash-карточек в Anki.☆14Oct 18, 2023Updated 2 years ago
- ☆10Apr 8, 2022Updated 3 years ago
- ☆12Jul 8, 2023Updated 2 years ago
- OpenSSH CA Signing and Publishing Daemon☆26Dec 10, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆16Aug 19, 2020Updated 5 years ago
- ☆14Dec 20, 2021Updated 4 years ago
- Code and other files for course 'Stroming STM32'☆17May 3, 2017Updated 8 years ago
- A collection of examples on how to use .NET Generic Host with F#☆14Apr 26, 2023Updated 2 years ago
- Evil project to turn excel spreadsheets in persistent reactive structures.☆89Nov 22, 2022Updated 3 years ago
- My .dot-files☆16Mar 11, 2026Updated 2 weeks ago
- Правильный Ruby-клиент для работы c REST XML API moyslad.ru☆14Apr 27, 2025Updated 11 months ago
- Personal solutions for Haskell kata on Codewars and exercises on Exercism.☆15Mar 25, 2021Updated 5 years ago
- Websockets wrapper for matrix.org homeservers☆14Sep 9, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A minimalistic way to run WAVSEP☆16May 14, 2018Updated 7 years ago
- slide history of past meetup presentations☆15Oct 1, 2025Updated 5 months ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆30Nov 28, 2025Updated 4 months ago
- https://github.com/faif/python-patterns.git☆13Sep 29, 2019Updated 6 years ago
- A Scalable Client Authentication & Authorization System for Container-based Environments☆17Sep 24, 2018Updated 7 years ago
- PKCS#11 Tools☆16Oct 20, 2017Updated 8 years ago
- Roslyn-based analyzer for StackExchange.Redis library☆11May 2, 2023Updated 2 years ago