ibab / babushk.inView external linksLinks
Source files for my blog. Based on Hakyll.
☆18Dec 26, 2023Updated 2 years ago
Alternatives and similar repositories for babushk.in
Users that are interested in babushk.in are comparing it to the libraries listed below
Sorting:
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆15Aug 22, 2021Updated 4 years ago
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 4 months ago
- PyTorch implementation of satellite image pose estimation using ResNet model architecture.☆10Dec 8, 2023Updated 2 years ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Make Agent CLI is a powerful command-line tool designed to streamline the management and deployment of AI agents across multiple chains. …☆14Sep 3, 2025Updated 5 months ago
- focused ultrasound toolbox☆16Updated this week
- Interactive Theorem Proving course using HOL4☆13Jun 21, 2023Updated 2 years ago
- A modern, SwiftUI-based Git client that brings the power of Git to your fingertips with a beautiful, intuitive interface.☆15Aug 16, 2025Updated 5 months ago
- Oobabooga "Hello World" API example for node.js with Express☆13Jul 2, 2023Updated 2 years ago
- Automatically quantifying radiographic knee osteoarthritis severity☆10May 18, 2017Updated 8 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- For unmanned missions into GPT returning structured data☆12May 16, 2023Updated 2 years ago
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆13Aug 5, 2018Updated 7 years ago
- ☆33Jan 21, 2026Updated 3 weeks ago
- A production-ready multi-tenant RAG as a Service (RaaS) orchestrator☆29Nov 10, 2025Updated 3 months ago
- ☆48Jan 3, 2026Updated last month
- A visual tool to interpret and understand PyTorch machine learning models☆17Feb 11, 2024Updated 2 years ago
- Tool to fetch, parse, and standardize materials data from various databases for LeMaterial.☆16Jan 23, 2026Updated 3 weeks ago
- OpenSCAD module for creating blocks of 3D text that are fully attachable within BOSL2.☆15Jun 30, 2024Updated last year
- ☆15Nov 15, 2022Updated 3 years ago
- Uncertain Knowledge Graphs Embedding with BERT Pretrained Language Model☆17Oct 10, 2024Updated last year
- ☆15Sep 20, 2022Updated 3 years ago
- C-Star is a python package for setting up and running ocean model simulations, with a particular focus on marine carbon dioxide removal (…☆17Updated this week
- The Plug&Play Consent Management Tool for Android☆24Dec 24, 2025Updated last month
- ☆15Dec 7, 2023Updated 2 years ago
- A NeSy Framework for Learning with Requirements☆20Feb 4, 2026Updated last week
- simple ai agent for wezterm☆24Jan 14, 2026Updated last month
- ENGN3903 - Environmental Sensing, Mapping and Modelling☆18Sep 28, 2025Updated 4 months ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Ensures bitwise reproducibility of ML operations across different hardware targets.☆19Mar 4, 2025Updated 11 months ago
- ☆14Jan 26, 2023Updated 3 years ago
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆27Mar 1, 2025Updated 11 months ago
- YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen☆15Oct 3, 2018Updated 7 years ago
- eXeLearning is an AGPL-licensed free/libre tool to create and publish open educational resources.☆117Updated this week
- A TOML provider for the Swift Configuration framework.☆24Feb 1, 2026Updated last week
- ☆17Updated this week
- SONAR - Self-Organizing Network of Aggregated Representations☆23Aug 2, 2025Updated 6 months ago
- ☆17Feb 10, 2025Updated last year