Barak Bercovitz's repositories
nixos_config
NixOS Configuration
.nixpkgs
.nixpkgs config
checkov
Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
clash2
CAES Language for Synchronous Hardware
config
configurations
DeepTables
DeepTables: Deep-learning Toolkit for Tabular data
eyros
interval database
ghcjs-jquery
jQuery bindings
giotto-tda
A high-performance topological machine learning toolbox in Python
gooey
GHCJS example code
home-manager
Manage a user environment using Nix [maintainer=@rycee]
jupyterWith
declarative and reproducible Jupyter environments - powered by Nix
Kats
Kats, a kit to analyze time series data, a lightweight, easy-to-use, generalizable, and extendable framework to perform time series analysis, from understanding the key statistics and characteristics, detecting change points and anomalies, to forecasting future trends.
keynav
retire your mouse.
lambda-haskell
Simple setup for deploying Haskell to Amazon Lambda
litmus-rt
The LITMUS^RT kernel.
markup.rocks
Pandoc based document editor and converter in your browser.
neovim-flake
Nix flake for neovim
nix-astro-experiments
Playing around with Nix for Astronomy
nix-in-termux
A script to install Nix package manager inside a Termux installation (on Android, aarch64)
nixpkgs
Berko's Home Manager Setup
probability_cheatsheet
A comprehensive 10-page probability cheatsheet that covers a semester's worth of introduction to probability.
prolamb
SWI-Prolog lambda runtime
test-haskell-userland
Haskell with cabal in Nix in Userland in Android
tokei
Count your code, quickly.
toys
Toys
tree-sitter-facade
A uniform interface for tree-sitter (rust) and web-tree-sitter (wasm-bindgen)