Введение в программирование на языке 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- partitioned map for write heavy workloads☆14Nov 6, 2025Updated 5 months ago
- SICP in JavaScript☆12Mar 31, 2016Updated 10 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 9 months ago
- 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
- A tool for OpenTelemetry tracing on the command line☆22Mar 8, 2025Updated last year
- AstroNvim v4 config☆18Mar 10, 2026Updated last month
- 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10Aug 5, 2016Updated 9 years ago
- Go web service to create and read self destructing notes.☆16Jul 25, 2022Updated 3 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
- Телеграм бот, парсер данных английских слов для быстрого создания flash-карточек в Anki.☆15Oct 18, 2023Updated 2 years ago
- ☆10Apr 8, 2022Updated 4 years ago
- Go trading bot (crypto, Binance, Bybit)☆19Apr 10, 2026Updated last week
- ☆13Jul 8, 2023Updated 2 years ago
- OpenSSH CA Signing and Publishing Daemon☆26Dec 10, 2014Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆16Aug 19, 2020Updated 5 years ago
- Code and other files for course 'Stroming STM32'☆17May 3, 2017Updated 8 years ago
- ☆14Dec 20, 2021Updated 4 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 last month
- Правильный Ruby-клиент для работы c REST XML API moyslad.ru☆14Apr 27, 2025Updated 11 months ago
- Websockets wrapper for matrix.org homeservers☆15Sep 9, 2018Updated 7 years ago
- A minimalistic way to run WAVSEP☆16May 14, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- slide history of past meetup presentations☆15Oct 1, 2025Updated 6 months ago
- Personal solutions for Haskell kata on Codewars and exercises on Exercism.☆15Mar 25, 2021Updated 5 years 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
- Faster alternatives for some Go stdlib packages☆14Nov 9, 2017Updated 8 years ago