-
HVM Public
Forked from HigherOrderCO/HVMA massively parallel, optimal functional runtime in Rust
Cuda Apache License 2.0 UpdatedMay 17, 2024 -
extra-enforcer-rules Public
Forked from mojohaus/extra-enforcer-rulesExtra Enforcer Rules
Java Apache License 2.0 UpdatedMar 12, 2024 -
interaction-calculus-of-constructions Public
Forked from VictorTaelin/interaction-calculus-of-constructionsA minimal proof checker.
TypeScript UpdatedFeb 12, 2024 -
Interaction-Type-Theory Public
Forked from VictorTaelin/Interaction-Type-TheoryRust MIT License UpdatedFeb 1, 2024 -
ml-op-benchmarks Public
Benchmarks for Tensorflow and PyTorch Ops versus native code
-
Interaction-Calculus Public
Forked from VictorTaelin/Interaction-CalculusA programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Rust MIT License UpdatedDec 6, 2023 -
fiche Public
Forked from solusipse/ficheCommand line pastebin for sharing terminal output.
C MIT License UpdatedJul 14, 2023 -
-
edgar Public
Converting and Extracting data from Edgar Online XSLX files.
Python MIT License UpdatedDec 8, 2022 -
-
zmq2 Public
Forked from Traverse-Research/zmq2Rust zeromq bindings.
Rust Apache License 2.0 UpdatedSep 20, 2022 -
-
beanstalk_console Public
Forked from ptrofimov/beanstalk_consoleAdmin console for Beanstalk queue server
JavaScript MIT License UpdatedAug 20, 2022 -
beanstalkd-cli Public
Forked from schickling/beanstalkd-cliSimple to use commandline tool for Beanstalkd
Rust Apache License 2.0 UpdatedAug 20, 2022 -
vim-dotfiles Public
Dotfiles for setting up an environment quickly.
-
config-magic Public
Forked from brianm/config-magicConvenience Configuration Library for Java
Java UpdatedMar 2, 2022 -
-
-
intellij Public
Forked from bazelbuild/intellijIntelliJ plugin for Bazel projects
Java Apache License 2.0 UpdatedApr 5, 2019 -
python-packaging-user-guide Public
Forked from pypa/packaging.python.orgPython Packaging User Guide
Python UpdatedNov 27, 2018 -
hak Public
A Node.js CLI script to work with docker on Linux and Mac
Shell MIT License UpdatedMay 31, 2017 -
-
wifilocator Public
Masters Thesis: Indoor Smartphone location and tracking using Particle Filters
-
pyrocksdb Public
Forked from stephan-hof/pyrocksdbPython bindings for RocksDB
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 16, 2017 -
SimpleJSON Public
Forked from MJPA/SimpleJSONSimpleJSON is a simple JSON library written in C++. It is designed to be simple to use and be cross platform.
C++ Other UpdatedMay 10, 2017 -
simple-ml Public
Stochastic Gradient Descent for learning a simple linear model.
Python MIT License UpdatedApr 5, 2017 -
grepurls Public
Command line utility to extract URLs from text or HTML using an RFC 3986 compliant parser.
-
hackercouch Public
Forked from hackercouch/hackercouchHospitality for Hackers
CSS UpdatedMay 29, 2016 -
nlp-bash Public
Bag of words based Natural Language Processing in Bash!
Shell Other UpdatedMay 28, 2016 -
simplegmail Public
A simple PHP class to email via GMail. Uses Composer for dependenciesRequires PHP Curl.
PHP MIT License UpdatedMay 19, 2016