|
|
Haskell |
24 |
Generic unification-based type inference library |
Apr 01, 2023 |
|
|
Haskell |
37 |
Generic functions for single-sorted first-order structural unification |
Apr 03, 2023 |
|
|
Standard ML |
3 |
Simple unification for ABTs in SML |
Feb 25, 2016 |
|
|
Haskell |
2 |
Simple E-unification for second-order syntax. |
Sep 10, 2022 |
|
|
Clojure |
128 |
Unification library |
Aug 17, 2022 |
|
|
Rust |
19 |
Generic implementations of clustering algorithms. |
Aug 02, 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 |
|
|
Go |
52 |
Generic Data Structures/Algorithms in golang. |
Jan 18, 2022 |
|
|
Matlab |
5 |
PID controller optimization using generic algorithms |
Apr 02, 2022 |
|
|
Rust |
8 |
Generic and lazy tree traversal algorithms |
Jan 29, 2023 |
|
|
Go |
3 |
Official Unification Mainchain implementation |
Feb 28, 2022 |
|
|
Java |
3 |
Aspect-Sentiment Unification Model |
Apr 30, 2020 |
|
|
JavaScript |
48 |
JUnify ― JavaScript Unification Library |
Apr 30, 2022 |
|
|
Julia |
32 |
Generic helper algorithms for building plotting components |
Sep 27, 2022 |
|
|
Python |
2 |
Generic rule package for rule-based algorithms |
Feb 12, 2023 |
|
|
Ada |
23 |
Generic Ada Library for Algorithms and Containers |
Jul 01, 2022 |
|
|
Go |
3 |
Fast, generic partial sorting algorithms in Go |
Oct 06, 2022 |
|
|
C |
30 |
Generic Algorithms and Data Structures in C |
Oct 08, 2022 |
|
|
C# |
242 |
Generic Graph Data Structures and Algorithms for .NET |
Aug 31, 2022 |
|
|
C# |
2 |
Generic Graph Data Structures and Algorithms for .NET |
Apr 19, 2022 |
|
|
Haskell |
2 |
Haskell generic interface (type classes) for cryptographic algorithms |
Dec 05, 2019 |
|
|
Haskell |
27 |
Haskell generic interface (type classes) for cryptographic algorithms |
Nov 26, 2021 |
|
|
Java |
2 |
Sorting Algorithms implemented in java with generic type |
Feb 03, 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 |
|
|
C |
854 |
qLibc is a simple and yet powerful C library providing generic data structures and algorithms |
May 30, 2023 |
|
|
Go |
8 |
Simple Generic REST controller |
May 10, 2023 |
|
|
C |
17 |
Generic data structures and algorithms implemented in c language. |
Jul 24, 2022 |
|
|
C |
124 |
A generic algorithms library for heterogeneous, distributed, embedded systems. |
Nov 26, 2022 |
|
|
Smalltalk |
8 |
Moose Algos contains generic libraries for various analysis algorithms. |
Mar 11, 2023 |
|
|
C |
2 |
Generic implementations of data structures and algorithms in C. |
May 02, 2024 |
|
|
Python |
2 |
Unification algorithm for list-based trees |
Sep 28, 2015 |
|
|
TypeScript |
2 |
Revolt Emoji Pack Structure Unification Toolchain |
Sep 18, 2022 |
|
|
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 |
|
|
Go |
2 |
generic simple concurrent safe counters |
Jan 10, 2023 |
|
|
Scala |
2 |
Simple generic data type conversions |
Feb 09, 2018 |
|
|
C |
3 |
Simple generic containers in C |
Mar 08, 2023 |
|
|
Python |
3 |
Simple generic REST API server |
Jun 08, 2021 |
|
|
Rust |
27 |
Collection of generic block mode algorithms written in pure Rust |
Apr 07, 2023 |