A webapp for developing and sharing Alloy models
☆27Feb 20, 2026Updated last week
Alternatives and similar repositories for Alloy4Fun
Users that are interested in Alloy4Fun are comparing it to the libraries listed below
Sorting:
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Jan 30, 2023Updated 3 years ago
- Async SWE agents seamlessly integrated on your git platform to automate code issues implementation, reviews, and pipeline repairs.☆17Updated this week
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Dec 15, 2018Updated 7 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- A talk☆29Apr 14, 2021Updated 4 years ago
- This Python wrapper for the SAP Analytics Cloud OData Export API demonstrates the basics for interacting with this API to export metadata…☆15Mar 10, 2025Updated 11 months ago
- A model checker for relational first-order temporal specifications☆29Jul 6, 2021Updated 4 years ago
- Crypto for Haskell☆37Jun 24, 2021Updated 4 years ago
- The Claude Experience you wish you had☆21Jan 26, 2026Updated last month
- The Continental Nodes for KNIME Extension provides data processing and reporting capabilities intended for business users of the KNIME An…☆10Sep 15, 2025Updated 5 months ago
- Article for Special Edition of Information: Machine Learning with Python☆14Jan 8, 2025Updated last year
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- ☆12Jul 10, 2023Updated 2 years ago
- Seaside wrapper for Bootstrap 5 on Pharo☆11Jul 26, 2024Updated last year
- Package to Compute VPC Percentiles & Prediction Intervals Developed by Certara☆11Jan 27, 2026Updated last month
- Collection of Connectors and Resolvers to show off Apollo server☆11Dec 15, 2023Updated 2 years ago
- Haskell driver for ClickHouse☆10Jun 15, 2021Updated 4 years ago
- Materials for the virtual NIMBLE workshop, May 26-28, 2021. For logistical information, please look below the file listing.☆14May 28, 2021Updated 4 years ago
- A unit test framework for prompts.☆11Feb 9, 2023Updated 3 years ago
- ☆10Jul 22, 2021Updated 4 years ago
- This is a repo for revising elements of "Interactive and Dynamic Graphics for Data Analysis".☆12Jan 23, 2026Updated last month
- 中医药知识服务平台☆11Jun 15, 2013Updated 12 years ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago
- Add Vega graphs to your grafana dashboard☆10Aug 19, 2020Updated 5 years ago
- MATLAB functions that use the java driver for access to MongoDB databases☆13Oct 9, 2017Updated 8 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago
- ☆10Sep 7, 2021Updated 4 years ago
- Bioruby Statsample TimeSeries☆14Aug 6, 2017Updated 8 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Jul 31, 2025Updated 7 months ago
- Conceal a disk partition from Windows☆13Feb 24, 2016Updated 10 years ago
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- ☆11Dec 3, 2020Updated 5 years ago
- A runtime and compiler of TypeScript, based on Golang.☆12Jul 5, 2018Updated 7 years ago
- ☆10May 2, 2022Updated 3 years ago
- The C-style formatted scanf as a companion of stdlib/Printf☆11May 27, 2024Updated last year