Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Repository Index
47,133 repositories indexed
121–137 of 137 · Most stars
A PEG parser/transformer with a pleasant Elixir DSL.
Research experiments exploring uncommon quant techniques.
- analysis
- jupyter-notebook
- python
- quant
Non-destructive template transformer.
Spatial Transformer Nets in TensorFlow/ TensorLayer
- tensorlayer
- tensorflow
- cnn
- deep-learning
Universal 1d/2d data containers with Transformers functionality for data analysis.
Plan and train German transformer models.
- transformer
- huggingface
- bert
- roberta
CakePHP view builder utilizing Fractal library for entities transformation
A simple service which consumes, transforms and periodically republish json messages on mqtt.
- hacktoberfest
- hacktoberfest2021
- mqtt
Local-first operating memory for AI coding agents - Claude Code, Codex, and any MCP client. Tracks decisions and their evolution. SQLite + on-device embeddings, no cloud.
- claude-code
- claude-code-plugins
- decision-tracking
- embeddings
Kustomize Plugin to transform values in HelmRelease CR
- kustomize
- kustomize-plugin
- helm
- helm-operator
🫥 Kustomize transformer plugin for strict templating of resources
- go
- golang
- kubernetes
- kustomization
Code and data for the paper "Evaluating German Transformer Language Models with Syntactic Agreement Tests" (Zaczynska et al., 2020)
- bert
- transformers
- syntactic-agreement
- german
Kustomize KRM function to run builtin transformers
- gitops
- kubernetes
- kustomize
- kustomize-plugin
A minimalistic codebase for training NLG models from HuggingFace Transformers using PyTorch Lightning.
- bart
- generation
- gpt-2
- language-model
Unified Java API for multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core, JADX)
- bytecode
- cfr
- decompilation
- decompiler
Flexible type conversion lightweight library