Введение в программирование на языке OCaml
☆15Jul 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 last year
- Paul Graham, “On Lisp" - translation into russian☆69Feb 24, 2016Updated 10 years ago
- Fun and simple color schemes for Sublime Text☆16May 2, 2023Updated 3 years ago
- Implementation different tasks from LeetCode☆12Jun 11, 2024Updated last year
- Вращающийся светодиодный дисплей на Arduino и WS2812☆33Sep 9, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- partitioned map for write heavy workloads☆14Nov 6, 2025Updated 6 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 v6 config☆18Apr 12, 2026Updated 3 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
- 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.
- ☆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 11 months ago
- ☆10Apr 8, 2022Updated 4 years ago
- Go trading bot (DCA & AI strategies, crypto, Binance, Bybit)☆19May 2, 2026Updated last week
- ☆12Jul 8, 2023Updated 2 years ago
- Телеграм бот, парсер данных английских слов для быстрого создания flash-карточек в Anki.☆15Oct 18, 2023Updated 2 years ago
- OpenSSH CA Signing and Publishing Daemon☆26Dec 10, 2014Updated 11 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.
- ☆16Aug 19, 2020Updated 5 years ago
- ☆14Dec 20, 2021Updated 4 years ago
- A collection of examples on how to use .NET Generic Host with F#☆14Apr 26, 2023Updated 3 years ago
- Evil project to turn excel spreadsheets in persistent reactive structures.☆89Nov 22, 2022Updated 3 years ago
- Code and other files for course 'Stroming STM32'☆17May 3, 2017Updated 9 years ago
- My .dot-files☆16May 1, 2026Updated last week
- Правильный Ruby-клиент для работы c REST XML API moyslad.ru☆14Apr 27, 2025Updated last year
- Websockets wrapper for matrix.org homeservers☆15Sep 9, 2018Updated 7 years ago
- A minimalistic way to run WAVSEP☆16May 14, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- slide history of past meetup presentations☆15Oct 1, 2025Updated 7 months ago
- Personal solutions for Haskell kata on Codewars and exercises on Exercism.☆15Mar 25, 2021Updated 5 years ago
- A Scalable Client Authentication & Authorization System for Container-based Environments☆17Sep 24, 2018Updated 7 years ago
- https://github.com/faif/python-patterns.git☆13Sep 29, 2019Updated 6 years ago
- PKCS#11 Tools☆16Oct 20, 2017Updated 8 years ago
- Roslyn-based analyzer for StackExchange.Redis library☆11May 2, 2023Updated 3 years ago
- Faster alternatives for some Go stdlib packages☆14Nov 9, 2017Updated 8 years ago