-
Autolab Public
Forked from autolab/AutolabCourse management service that enables auto-graded programming assignments.
Ruby Apache License 2.0 UpdatedFeb 3, 2026 -
-
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedJun 16, 2024 -
differential-datalog Public
Forked from vmware-archive/differential-datalogDDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Java MIT License UpdatedJul 7, 2023 -
tensorflow Public
Forked from tensorflow/tensorflowComputation using data flow graphs for scalable machine learning
-
Theory of lexicographic lattices
Coq MIT License UpdatedMar 1, 2022 -
cromwell Public
Forked from broadinstitute/cromwellScientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
Scala BSD 3-Clause "New" or "Revised" License UpdatedApr 8, 2021 -
hopes Public
Higher Order Prolog with Extensional Semantics
-
wam Public
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
-
semagrow Public
Forked from semagrow/semagrowA SPARQL query federator of heterogeneous data sources
Java Apache License 2.0 UpdatedNov 22, 2018 -
yadlr Public
Yadlr is a fuzzy reasoner, using CLP(Q,R) to implement fuzzy algebra on top of three reasoning back-ends: resolution, tableaux, and direct set-theoretic semantics.
-
mhtransf-lar Public
Experimental Compiler for Lazy Functional Language based on Intensional Transformation and Lazy Activation Records
-
parsec-prolog Public
A set of parsec combinators that parses ISO-Prolog programs
-
yawebproxy Public
Yet another webproxy consisted of a forward proxy and a validate proxy in a distributed architecture
Java GNU General Public License v3.0 UpdatedJun 22, 2012 -
ripsim Public
A multithreaded RIP (Routing Information Protocol) Simulator
Java GNU General Public License v3.0 UpdatedJun 8, 2012 -
spsync Public
An implementation of Sync Adapters for synchronizing SharePoint with a relational database based on Sync Framework
{{ message }}