|
Haskell |
177 |
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using … |
Aug 20, 2022 |
|
Haskell |
39 |
Formally prove properties of Haskell programs using SBV/SMT. |
Jan 09, 2022 |
|
Python |
7 |
An SMT dialect for MLIR, to represent SMTLib programs. And tools to interact with SMT … |
Apr 18, 2023 |
|
Haskell |
10 |
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers. |
Mar 12, 2023 |
|
OCaml |
59 |
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs |
Apr 10, 2023 |
|
Python |
21 |
Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces" |
Apr 05, 2023 |
|
Python |
20 |
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT … |
Feb 28, 2023 |
|
Haskell |
3 |
A Haskell Library and Command Line Interface to work with MIX archives from the older … |
Dec 21, 2020 |
|
Haskell |
3 |
Very simple text summarization |
Mar 06, 2020 |
|
Haskell |
3 |
Command Line Interface for https://validator.w3.org/ |
Dec 27, 2019 |
|
Haskell |
3 |
None |
Jan 09, 2020 |
|
Haskell |
3 |
Types for colors |
Dec 05, 2019 |
|
Haskell |
3 |
None |
Feb 03, 2020 |
|
Haskell |
3 |
heterogenous traversal |
May 03, 2022 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
Elevator for effects |
Dec 05, 2019 |
|
Haskell |
3 |
None |
Jan 04, 2020 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
Omit top-level module prefices |
Sep 26, 2020 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
Simple command line pastebin app. |
Oct 21, 2013 |
|
Haskell |
3 |
用一种类似正则表达式的句法来生成随机字符串。 |
Dec 12, 2021 |
|
Haskell |
3 |
ALPACA - Anemic Lexer and PArser Creation Algorithm |
Jun 05, 2022 |
|
Haskell |
3 |
Demo showing operation of LL(1), LR(0), LR(1), SLR and LALR parsers |
Jun 25, 2022 |
|
Haskell |
3 |
Sort delimited text files. |
Oct 27, 2020 |
|
Haskell |
4 |
None |
May 24, 2022 |
|
Haskell |
4 |
UTxO based NFT Maker for Cardano Blockchain (no timelock) |
Apr 11, 2022 |
|
Haskell |
4 |
None |
May 28, 2022 |
|
Haskell |
4 |
The playground allows you to experiment with Haskell in browser without installing it locally. It … |
Apr 20, 2022 |
|
Haskell |
4 |
Language that combines the flexibility of the GraphQL with the formalism of Haskell |
May 05, 2022 |
|
Haskell |
4 |
A compiler backend for PureScript that generates Python code. |
Dec 13, 2021 |
|
Haskell |
4 |
A simple utility to workaround cardano-cli's inability to balance non-native assets |
Jun 15, 2022 |
|
Haskell |
4 |
Language of the Cult of Raylib |
May 23, 2022 |
|
Haskell |
4 |
Support for linearly-typed generics in Haskell |
Apr 01, 2022 |
|
Haskell |
4 |
XMonad setup with installed programs by Anapal using Arch Linux |
Jun 14, 2022 |
|
Haskell |
4 |
Xmonad configurations for Axyl OS |
May 04, 2022 |
|
Haskell |
4 |
Feature Trace Recording in Haskell |
Apr 21, 2022 |
|
Haskell |
4 |
A language built atop the Sparse Synchronous Model |
Jun 14, 2022 |
|
Haskell |
4 |
None |
Jun 20, 2022 |
|
Haskell |
4 |
A pseudo generative art code with haskell |
May 02, 2022 |
|
Haskell |
4 |
A purely-functional programming language with Hindley-Milner type inference and `callcc`. |
May 18, 2022 |
|
Haskell |
4 |
A dashboard for r/TheMotte, powered by Ema. |
Jul 07, 2022 |
|
Haskell |
4 |
Compare one website with another |
Feb 26, 2016 |
|
Haskell |
4 |
Max's markup language |
Jul 17, 2022 |
|
Haskell |
4 |
Statistics for the GHC proposal repository |
Jun 14, 2021 |
|
Haskell |
4 |
The “Haskell Bytes” tutorial at Bobkonf 2021 |
Jun 14, 2021 |
|
Haskell |
4 |
Benchmarks for list fusion experiments |
Jan 05, 2021 |
|
Haskell |
4 |
A telegram bot to play the Umklappspiel |
Oct 16, 2021 |
|
Haskell |
4 |
Using bindings-DSL most trivially (just for barrier breaking or corner casing). |
May 20, 2021 |