Use RL to balance the electrical power grid with electric vehicle fleets
☆21May 3, 2019Updated 6 years ago
Alternatives and similar repositories for ma-thesis
Users that are interested in ma-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Glossary of Bazel Terminology - now upstreamed to docs.bazel.build☆30Feb 6, 2020Updated 6 years ago
- ☆10Nov 28, 2021Updated 4 years ago
- S-expressions parser in the Go programming language☆20Jun 20, 2013Updated 12 years ago
- Highlight staged (quasi-quoted) expressions☆21Mar 6, 2021Updated 5 years ago
- KISS password manager☆10Dec 4, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A parse transform to introduce module aliasing into Erlang code☆10Sep 30, 2020Updated 5 years ago
- Experiments with Emacs semantic.el and Clojure☆22Mar 22, 2013Updated 13 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Print the current screen resolution on stdout☆17Apr 12, 2016Updated 9 years ago
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Nov 26, 2025Updated 4 months ago
- (Emacs) Init file (and directory) Quick Access.☆11Aug 15, 2024Updated last year
- Common Lisp Editing Extensions☆12Jul 30, 2018Updated 7 years ago
- Brainfuck compiler and interpreter☆17Jun 29, 2023Updated 2 years ago
- channels.nix.gsc.io☆15May 24, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- Fintie Sets in Cubical Agda☆12Aug 30, 2019Updated 6 years ago
- :secret keyword for use-package☆13Jan 6, 2020Updated 6 years ago
- A lightweight alternative to streaming services like twitch.tv and panopto to host your live stream to an audience.☆10Dec 9, 2022Updated 3 years ago
- Experiments with 9P protocol file server in Windows 10 for fun☆13Jun 8, 2019Updated 6 years ago
- Support mix in flycheck☆10Feb 11, 2020Updated 6 years ago
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆16Aug 24, 2025Updated 7 months ago
- Configuration for Arch/OS X (WIP)☆12Aug 6, 2025Updated 7 months ago
- Generate declarative jobsets for a project's GitHub repository.☆13Mar 19, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- A clean-room implementation of the findbugs annotations released under the Apache License, version 2.0☆15Oct 12, 2020Updated 5 years ago
- CI helpers☆13Oct 13, 2025Updated 5 months ago
- Macros for auto-upgradable Bazel build dependencies to use with --experimental_resolved_file_instead_of_workspace☆16Feb 24, 2023Updated 3 years ago
- FUSE filesystem to mount git repos.☆18May 2, 2023Updated 2 years ago
- socat(1) fork with AF_VSOCK support. vsock support is now available with mainline socat 1.7.4 available at http://www.dest-unreach.…☆10Jan 31, 2020Updated 6 years ago
- Starlark parser and tooling☆15Oct 13, 2023Updated 2 years ago
- Advanced starlark capabilities into Bazel - community based APIs to do so☆14Aug 26, 2022Updated 3 years ago
- Usb keyboard implementation based on stm32f103c8t6☆10Jun 6, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Bundle dynamic Linux executables with their libraries to make them as portable as static executables☆10Jun 10, 2021Updated 4 years ago
- bazel rules for ksonnet and kubecfg☆13Jul 28, 2017Updated 8 years ago
- Alistair's fork of the Linux kernel source tree. Including sources for the mainline reMarkable 2 kernel development, sunxi patches and ot…☆11Mar 12, 2026Updated 2 weeks ago
- Utility functions for working with data from Nix in Python [maintainer=@adisbladis]☆14Oct 7, 2022Updated 3 years ago
- GitHub Action that configures Nix to read/write to a cache☆17Sep 23, 2024Updated last year
- A minor mode enabling split-screen scrolling in any Emacs 'comint-mode' buffer (such as shell-mode, inferior-python-mode, etc.)☆15Jan 5, 2026Updated 2 months ago
- Experimental multidimensional arrays for F#☆11Nov 12, 2017Updated 8 years ago