IntelliJ IDEA plugin for Frege language
☆38May 21, 2022Updated 4 years ago
Alternatives and similar repositories for intellij-frege
Users that are interested in intellij-frege are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parser combinators in Kotlin for Kotlin Multiplatform☆20May 13, 2022Updated 4 years ago
- ☆19Jun 8, 2020Updated 6 years ago
- ☆13Feb 17, 2025Updated last year
- A test smell detector for Python.☆57Feb 23, 2022Updated 4 years ago
- Playable Survival Conway's Game of Life☆10Jun 22, 2022Updated 4 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.
- Programmable organizer application suite.☆15Updated this week
- Telegram bot for chats administration☆22Aug 15, 2023Updated 3 years ago
- Standard IO operations with Hopac Jobs☆12Jul 5, 2019Updated 7 years ago
- Веб-материалы для fsharplang.ru☆12Apr 28, 2021Updated 5 years ago
- XMPP ↔ Telegram bridge☆34Updated this week
- Paket on .NET Core testing ground☆16Sep 21, 2018Updated 8 years ago
- Official implementation of "NinA: Normalizing Flows in Action. Training VLA Models with Normalizing Flows"☆19Sep 22, 2025Updated last year
- Raspberry PI robot powered with FSharp☆12Oct 15, 2017Updated 9 years ago
- GameSpy emulation and other services to play Warhammer 40k DoW through the Internet on your own server.☆11Feb 24, 2023Updated 3 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.
- Automatic derivation of functional-java typeclasse instances and optics☆21Feb 6, 2020Updated 6 years ago
- The sharpest infrastructure automation tool.☆19Updated this week
- Simple platformer demo using Garnet☆16Nov 5, 2021Updated 4 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆130Apr 15, 2026Updated 6 months ago
- An F# Type provider provider☆15Feb 19, 2020Updated 6 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆20Aug 23, 2021Updated 5 years ago
- Сайт русскоязычного сообщества F#☆14Nov 1, 2020Updated 5 years ago
- Type and Reflection polyfill extension methods. .NET 3.5+ and .NET Standard 1.0+.☆22Jun 19, 2021Updated 5 years ago
- .NET-based lisp for a more civilized age☆16Mar 12, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Utf8Json Extensions for F#.☆19Aug 4, 2018Updated 8 years ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆36Mar 26, 2026Updated 6 months ago
- Arcade, oldschool multiplayer and bloodshed.☆20Updated this week
- 2D game engine for mobile devices in C#.☆18Sep 16, 2022Updated 4 years ago
- ☆20Dec 23, 2021Updated 4 years ago
- Online top-down pixel-art shooter — C++ first-year project of Applied Mathmatics and Computer Science program at Higher School of Economi…☆31May 8, 2023Updated 3 years ago
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆24Feb 23, 2024Updated 2 years ago
- Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.☆18Feb 4, 2024Updated 2 years ago
- Patcher for LG G Watch R's system to make it work on LG G Watch (basically Android Wear 2.0 port)☆27Aug 1, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆12Feb 3, 2023Updated 3 years ago
- Chrome and Firefox extension to force MSDN (and similar Microsoft documentation sites) to always use English locale.☆63Updated this week
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 11 years ago
- ☆12Nov 20, 2025Updated 10 months ago
- Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)☆17Oct 2, 2019Updated 7 years ago
- взлом казино☆33Jun 26, 2024Updated 2 years ago
- Type-safe F# state management (like Elm and Redux) for Blazor☆30Apr 7, 2018Updated 8 years ago