|
|
Haskell |
4 |
possibly playing with equality saturation |
Dec 05, 2019 |
|
|
Haskell |
49 |
Fast equality saturation in Haskell |
Apr 24, 2023 |
|
|
Rust |
64 |
Rewrite Rule Inference Using Equality Saturation |
Apr 19, 2023 |
|
|
Rust |
38 |
Compiler optimizer for arbitrary control flow based on equality saturation |
Apr 07, 2023 |
|
|
Rust |
87 |
Re-implementation of the TASO compiler using equality saturation |
Apr 12, 2023 |
|
|
Rust |
6 |
An experimental Differential Dataflow optimization engine powered by equality saturation |
Nov 14, 2021 |
|
|
OpenSCAD |
27 |
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations |
Jan 31, 2023 |
|
|
Java |
2 |
Concurrent and Distributed Systems Laboratory |
Mar 22, 2023 |
|
|
Java |
4 |
Concurrent Skip-List in Java for our Concurrent and Distributed Systems course |
Mar 31, 2021 |
|
|
None |
2 |
Middle Level Special Intermediate Representation (Research Design of IR with Equality Saturation Ability for Pr47) |
Mar 29, 2021 |
|
|
C |
3 |
Operating Systems and Concurrent Programming Spring 2016 |
Jan 29, 2022 |
|
|
Coq |
89 |
Verifying concurrent crash-safe systems |
Oct 14, 2022 |
|
|
Julia |
262 |
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & … |
Sep 07, 2022 |
|
|
JavaScript |
3 |
A database frontend for concurrent editing systems |
Jul 03, 2017 |
|
|
None |
29 |
A collection of tools for building concurrent systems |
Apr 22, 2023 |
|
|
Rust |
174 |
report progress of concurrent applications and display it in various ways |
Jul 28, 2022 |
|
|
C# |
262 |
Lightweight toolset for creating concurrent networking systems for multiplayer games |
Apr 21, 2023 |
|
|
Rust |
3 |
Testing and benchmarking tools for concurrent Rust code |
Dec 18, 2021 |
|
|
Julia |
10 |
Interface for approximate and exact equality |
Feb 01, 2023 |
|
|
C++ |
18 |
FINEdex: A Fine-grained Learned Index Scheme for Scalable and Concurrent Memory Systems |
Apr 20, 2023 |
|
|
Coq |
11 |
Verifying concurrent code with layers and movers |
May 18, 2022 |
|
|
Java |
4 |
EPAM Report portal. Extension point for bugtracking systems |
May 28, 2018 |
|
|
F# |
39 |
Type equality for F# |
Apr 10, 2022 |
|
|
C |
2 |
course project in TDDB68, Concurrent Programming and Operating Systems in Linkoping University. |
Feb 13, 2018 |
|
|
Python |
211 |
collection of modules to build distributed and reliable concurrent systems in Python. |
Jul 13, 2022 |
|
|
Matlab |
15 |
Code and report for APMA136 Final Project |
Jan 13, 2022 |
|
|
TeX |
2 |
Code for VP141 Report |
Dec 08, 2021 |
|
|
Python |
18 |
asyncio Python framework for writing safe and fast concurrent code |
Feb 01, 2023 |
|
|
Java |
2 |
Java concurrent code testing framework |
Dec 10, 2023 |
|
|
C |
2 |
Source code for the alphaMELTS zircon saturation calculations used in Keller, Boehnke, and Schoene (2017) |
Aug 23, 2023 |
|
|
Python |
7 |
A concurrent/synchronized DQN implementation optimized for multi-CPU, single-GPU systems. |
Oct 24, 2022 |
|
|
Jupyter Notebook |
2 |
Report and source code for Data Mining projects |
Jul 20, 2019 |
|
|
TypeScript |
5 |
Object hashing for structural equality |
Jun 28, 2022 |
|
|
Haskell |
2 |
Unsound checker for CFG equality |
Sep 08, 2021 |
|
|
Rust |
5 |
Datalog with equality for rust |
May 07, 2023 |
|
|
Go |
4 |
JSON equality assertions for Go |
May 16, 2022 |
|
|
Rust |
2 |
Assertions for floating-point equality. |
Sep 11, 2023 |
|
|
PHP |
2 |
Saturation prayer subscription extension for Disciple.Tools. |
Dec 14, 2022 |
|
|
Go |
2 |
Collect Linux Utilization, Saturation and Errors metrics |
Jan 27, 2023 |
|
|
CSS |
33 |
Code for America's Annual Report |
Mar 15, 2022 |
|
|
Go |
5 |
Code for presentation: "Concurrent Optimization Methods Using Go" |
Aug 21, 2022 |
|
|
None |
3 |
Patches for Concurrent CP/M-86 and Concurrent DOS for Y2K support |
Feb 01, 2023 |
|
|
JavaScript |
95 |
Improved deep equality testing for Node.js and the browser. |
Jun 19, 2022 |
|
|
TeX |
2 |
A paper investigating baroclinic and barotropic processes for eddy saturation |
Sep 28, 2022 |
|
|
JavaScript |
2 |
Remove Symbolic Icons and Saturation Effect for App Menu Icon |
Nov 30, 2023 |
|
|
HTML |
2 |
Summary for the lecture *Concurrent Systems* (winter term 20/21, FAU Erlangen-Nürnberg) on concurrency, esp. in … |
May 09, 2023 |
|
|
Rust |
127 |
Approximate floating point equality comparisons and assertions |
Aug 10, 2022 |
|
|
None |
4 |
Css methodology that respects independence and equality |
Jan 28, 2023 |
|
|
Solidity |
178 |
Assertions, equality checks and other test helpers |
May 13, 2023 |
|
|
JavaScript |
6 |
A Handlebars helper for testing equality |
Jun 07, 2021 |