My own playground for PLP (Programming Language Processing) using DeepLearning techniques
☆19Apr 12, 2023Updated 2 years ago
Alternatives and similar repositories for codenets
Users that are interested in codenets are comparing it to the libraries listed below
Sorting:
- eta-spark is a library that provides complete bindings for Apache Spark☆21Sep 13, 2018Updated 7 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…☆11Sep 13, 2019Updated 6 years ago
- The Swift Programming Language☆13Aug 4, 2021Updated 4 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 5 years ago
- ☆14Nov 6, 2017Updated 8 years ago
- Hasktorch two-layer network example project☆13Nov 21, 2020Updated 5 years ago
- ☆21Jul 11, 2022Updated 3 years ago
- java native interface for faiss☆44Feb 15, 2020Updated 6 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Aug 14, 2018Updated 7 years ago
- A tiny embedded scripting language implemented in Scala.☆25Jan 11, 2019Updated 7 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated last year
- Simple implementations of forward- and backward-mode automatic differentation in Scala☆23Jun 21, 2018Updated 7 years ago
- [EMNLP 2021] Code and data for our paper "Visually Grounded Reasoning across Languages and Cultures"☆30Dec 30, 2021Updated 4 years ago
- van Laarhoven Free Monad with Extensible Effects☆24Feb 10, 2016Updated 10 years ago
- Shared code for training sentence embeddings with Flax / JAX☆28Jul 15, 2021Updated 4 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Feb 3, 2020Updated 6 years ago
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 9 years ago
- ☆13Oct 5, 2025Updated 4 months ago
- Data centralization tool☆36Aug 24, 2020Updated 5 years ago
- A model checker for relational first-order temporal specifications☆29Jul 6, 2021Updated 4 years ago
- Rate My Plate, Twitter Bot to rate the environmental impact of your food.☆10Mar 8, 2017Updated 8 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85May 6, 2025Updated 9 months ago
- Multisets for Scala☆86Jul 23, 2021Updated 4 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Aug 8, 2019Updated 6 years ago
- Tensors in Haskell☆40Feb 3, 2026Updated 3 weeks ago
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 8 years ago
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆41Jun 20, 2021Updated 4 years ago
- ☆12Nov 22, 2024Updated last year
- ☆11Feb 26, 2024Updated 2 years ago
- Python GUI for differential forms☆12Oct 14, 2023Updated 2 years ago
- Code for "Zero-Shot Out-of-Distribution Detection with Feature Correlations"☆13Jan 19, 2020Updated 6 years ago
- Conversion of audio files to text using whisper from OpenAI with a simple tkinter GUI☆10Apr 13, 2023Updated 2 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- LLM Building Blocks for Python Course☆15Nov 17, 2025Updated 3 months ago
- tensorflow implemention of StackDenosingAutoEncoder☆11Jun 1, 2017Updated 8 years ago
- ☆173Apr 20, 2021Updated 4 years ago