|
Python |
2 |
Script to query all the balances of wallets on the Unification Mainchain, and rank them … |
Mar 05, 2023 |
|
Haskell |
163 |
A small implementation of higher-order unification |
Apr 03, 2023 |
|
Rust |
12 |
DBC MainChain based on Substrate |
Dec 30, 2021 |
|
Shell |
13 |
Cardano mainchain data on BigQuery |
Mar 22, 2023 |
|
Clojure |
128 |
Unification library |
Aug 17, 2022 |
|
Scheme |
21 |
Functional implementation of anti-unification algorithm for multiple terms |
Oct 23, 2022 |
|
Haskell |
4 |
Example implementation of Hindley-Milner using the unification-fd package. |
Apr 30, 2022 |
|
C++ |
289 |
Fuzzing Unification Framework |
Aug 30, 2022 |
|
Haskell |
3 |
Haskell 98 Unification |
Dec 05, 2019 |
|
JavaScript |
3 |
Unification for JS |
Jul 11, 2019 |
|
Haskell |
3 |
Learning pattern unification |
Jul 16, 2020 |
|
Python |
7 |
Kodi version unification |
May 01, 2023 |
|
JavaScript |
2 |
Boolean Unification Workbench |
Mar 04, 2024 |
|
Agda |
7 |
Implementation of McBride's "First-order unification by structural recursion" in Agda. |
Jul 06, 2020 |
|
None |
3 |
Agda implementation of McBride's "First-order unification by structural recursion" paper |
Sep 07, 2014 |
|
Haskell |
5 |
Simple generic unification algorithms |
Aug 09, 2020 |
|
Java |
3 |
Aspect-Sentiment Unification Model |
Apr 30, 2020 |
|
JavaScript |
48 |
JUnify ― JavaScript Unification Library |
Apr 30, 2022 |
|
Python |
4 |
Official implementation of the clinical knowledge unification method for the development of the Automatic Urticaria … |
Apr 01, 2022 |
|
Go |
7 |
Mainchain smart contracts for Celer State Guardian Network (SGN) |
Feb 11, 2022 |
|
None |
2 |
Coin swap service between Bitcoin's mainchain (drivenet) and sidechains |
Jul 08, 2022 |
|
Haskell |
4 |
Matching and unification on TrieMaps |
Dec 05, 2019 |
|
Shell |
2 |
Scripts for the Unification Network |
Jun 07, 2020 |
|
None |
3 |
Notes for Sensor API unification |
Apr 01, 2017 |
|
Go |
21 |
Yet Another Efficient Unification Algorithm |
Aug 07, 2022 |
|
Python |
2 |
Proposal for Python Schema unification |
Aug 04, 2020 |
|
Coq |
3 |
Formalization of unification in Coq |
Aug 27, 2018 |
|
Haskell |
24 |
Generic unification-based type inference library |
Apr 01, 2023 |
|
Python |
2 |
Unification algorithm for list-based trees |
Sep 28, 2015 |
|
TypeScript |
2 |
Revolt Emoji Pack Structure Unification Toolchain |
Sep 18, 2022 |
|
Standard ML |
3 |
Simple unification for ABTs in SML |
Feb 25, 2016 |
|
C# |
2 |
Language Forge / Language Depot unification project |
Apr 26, 2023 |
|
Scheme |
3 |
Invent abstract functions using anti-unification. |
Feb 20, 2018 |
|
Python |
6 |
Unification proposal for Python 3 Futures |
Apr 11, 2022 |
|
Haskell |
3 |
Implementation of Hindley-Milner type checking as an exercise in using the unification-fd package |
Mar 30, 2020 |
|
Python |
18 |
Neural Unification for Logic Reasoning over Language |
Apr 29, 2022 |
|
Scala |
2 |
A library for Bounded Rigid E-Unification |
Feb 28, 2019 |
|
Haskell |
2 |
Simple E-unification for second-order syntax. |
Sep 10, 2022 |
|
Julia |
4 |
A unification of (hyper)graph model generation. |
Dec 14, 2022 |
|
TypeScript |
16 |
A Javascript and Typescript aimed to unification. |
Nov 10, 2023 |
|
Python |
4 |
StyleGAN2 - Official TensorFlow Implementation |
Oct 07, 2021 |
|
Python |
6 |
Official implementation of SwinGANMR |
Jun 02, 2022 |
|
None |
9 |
StyleGAN2 - Official TensorFlow Implementation |
Feb 15, 2022 |
|
Python |
9770 |
StyleGAN2 - Official TensorFlow Implementation |
Aug 22, 2022 |
|
Python |
12797 |
StyleGAN - Official TensorFlow Implementation |
Aug 18, 2022 |
|
None |
2 |
Official implementation of CLEANIR |
Nov 24, 2021 |
|
Python |
2 |
StyleGAN2 - Official TensorFlow Implementation |
Nov 06, 2020 |
|
Python |
6 |
StyleGAN2 - Official TensorFlow Implementation |
Feb 17, 2023 |
|
None |
2 |
StyleGAN2 - Official TensorFlow Implementation |
May 02, 2021 |
|
TypeScript |
2 |
The official contracts implementation |
May 12, 2021 |