VeriFastに関する文書の日本語訳置き場
☆15Oct 15, 2018Updated 7 years ago
Alternatives and similar repositories for translate
Users that are interested in translate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- 44100Hz日本語音源に対応した PITS: Variational Pitch Inference for End-to-end Pitch-controllable TTS without External Pitch Predictor です。☆21May 2, 2023Updated 2 years ago
- POSIX sendmsg bindings for OCaml☆16Nov 5, 2016Updated 9 years ago
- mruby running inside the bare-metal hypervisor☆19Mar 8, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- CDN distribution for Opal.☆12Aug 8, 2024Updated last year
- ☆21Mar 6, 2019Updated 7 years ago
- Pluggable types for Common Lisp☆19Dec 9, 2023Updated 2 years ago
- A template repository to make yumemi-daigirin books☆13Apr 10, 2026Updated last week
- Bindings for OpenVR and the Valve/HTC Vive☆10Mar 28, 2017Updated 9 years ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- メイカーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト☆10May 1, 2020Updated 5 years ago
- ☆12Apr 3, 2018Updated 8 years ago
- ローマ字で日本語ファイル名補完できるようにするzshプラグイン☆26Mar 22, 2026Updated 3 weeks 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.
- No longer need to type in 'bundle exec'.☆18Jan 23, 2014Updated 12 years ago
- A parser library for TypeScript☆10Dec 30, 2022Updated 3 years ago
- Swift-idl is a tool to generate Swift source code from Swift source code.☆10May 13, 2018Updated 7 years ago
- Type classes for creating memoized functions☆18Jun 23, 2018Updated 7 years ago
- Backports of GHC deriving extensions☆13Jan 8, 2026Updated 3 months ago
- mruby on M5Stack☆11Oct 28, 2024Updated last year
- Handy interface PCB for MIDI and microcontrollers.☆11Mar 18, 2025Updated last year
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆30Apr 8, 2026Updated last week
- tribox Contest is an Online Speed-Solving Competition organized by Tribox Inc.☆12Apr 12, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Simple JACK synth experiment☆13Aug 3, 2019Updated 6 years ago
- Print OCaml values based on their runtime representation☆31Jun 7, 2022Updated 3 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- BLIT-based sine wave hard sync☆18Feb 11, 2021Updated 5 years ago
- textlint plugin to lint Typst☆20Mar 4, 2026Updated last month
- ☆13Aug 7, 2025Updated 8 months ago
- Notes of Programming Languages☆11Nov 30, 2024Updated last year
- A Proof-of-Concept app for the iOS app architecture "SwiftUI + FlowController Pattern"☆11Feb 16, 2022Updated 4 years ago
- ☆12May 16, 2024Updated last year
- 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.
- An Arduino library of mircro mruby VM implementation for Arduino uno☆13May 19, 2019Updated 6 years ago
- Standuino microGranny is a pocket sized handmade granular sampler.☆11May 17, 2013Updated 12 years ago
- Monophonic Synthesizer for Arduino Uno☆11Aug 15, 2021Updated 4 years ago
- Fork of etckeeper to work with OS X.☆10Mar 10, 2015Updated 11 years ago
- Fast time library☆20Jul 1, 2025Updated 9 months ago
- (Obsolete. Not maintained anymore) Prototyping tool for embedded-boards with Ruby language -> New version https://github.com/kimushu/rubi…☆13Mar 8, 2017Updated 9 years ago
- StringIO class for mruby☆11Apr 7, 2025Updated last year