joliebig / featurehouseView external linksLinks
language independent software composition and merging
☆31Mar 25, 2017Updated 8 years ago
Alternatives and similar repositories for featurehouse
Users that are interested in featurehouse are comparing it to the libraries listed below
Sorting:
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- A MiniKanren in Python☆36Jul 15, 2016Updated 9 years ago
- Various examples of functionality in Eve and how to build apps.☆14Mar 20, 2017Updated 8 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆20Aug 28, 2024Updated last year
- Bottom-Up Technologies for Reuse☆18Sep 30, 2025Updated 4 months ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Mar 27, 2024Updated last year
- Tool Support for Correctness-by-Construction☆30Jan 23, 2026Updated 3 weeks ago
- an attempt to implement miniKanren and microKanren in Python☆54Jul 16, 2014Updated 11 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Jul 30, 2016Updated 9 years ago
- Parse wikipedia dumps and index (some) page data to elasticsearch☆49Jul 21, 2015Updated 10 years ago
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆13Feb 1, 2026Updated 2 weeks ago
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Focused Crawler for VT's CTRNet☆10May 13, 2013Updated 12 years ago
- This is the official implementation of the AEFusion model proposed in the paper （AEFusion: A multi-scale fusion network combining Axial a…☆12Jun 12, 2023Updated 2 years ago
- Speech ANDroid Apps☆20Jan 22, 2014Updated 12 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Aug 4, 2018Updated 7 years ago
- Redis tcp map for postfix☆12Jun 28, 2024Updated last year
- "Save as DAISY" add-in for Microsoft Word☆10Dec 22, 2025Updated last month
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- A set of utilities for accessing and processing MediaWiki data.☆55Jan 15, 2019Updated 7 years ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- Simulation of bubbles in liquid foams using matlab☆10Oct 1, 2020Updated 5 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- ☆11Jul 20, 2021Updated 4 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- 非官方基于Pytorch的VIF-Net复现。☆11Mar 2, 2020Updated 5 years ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Dec 13, 2025Updated 2 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- command line tool which communicates with google translation server. (NOT MAINTAIN ANYMORE)☆24Feb 25, 2014Updated 11 years ago
- Some solutions to the Dummit & Foote abstract algebra textbook☆13Oct 26, 2015Updated 10 years ago
- Experimental Redis plugin for Vim☆13Jun 8, 2013Updated 12 years ago
- Convert tag files (ctags, gccxml, etc) to databases (sqlite, mysql, etc)☆13Mar 30, 2015Updated 10 years ago
- Emacs package to import Bibtex & PDF from Google Scholar☆12Apr 12, 2023Updated 2 years ago
- ☆13Jul 19, 2020Updated 5 years ago
- Yeah Let's Do That is a self-hosted crowd-funding tool (early alpha stage)☆10Mar 23, 2017Updated 8 years ago
- Node interface which parses sentences into grammatical structures☆12May 31, 2017Updated 8 years ago