ckaestne/TypeChef ckaestne/TypeChef

  • Stars
    star
    74
  • Rank 429,106 (Top 9 %)
  • Language
    C
  • License
    Other
  • Created over 14 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ckaestne/TypeChef
github

ckaestne

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Type checking ifdef variability

More Repositories

1

seai

CMU Lecture: Machine Learning In Production / AI Engineering / Software Engineering for AI-Enabled Systems (SE4AI)
Jupyter Notebook
377
star
2

seaibib

Software Engineering for AI/ML -- An Annotated Bibliography
289
star
3

gdoc2latex

Scala
12
star
4

undertaker

C
9
star
5

CIDE

Virtual Separation of Concerns
Java
9
star
6

CompatSiteswaps

Generator for 4-handed siteswaps, sorted by compatiblity
HTML
6
star
7

TypeChef-LinuxAnalysis

C
6
star
8

kconfigreader

KConfigReader - accurate translation of kconfig files to propositional formulas
Scala
5
star
9

JavaBDD_repackaged

repackaged version of JavaBDD and JDD to push it to maven
Java
4
star
10

vbc

Java
4
star
11

LEADT

Feature Mining with LEADT: Consistent Semi-Automatic Detection of Product-Line Features
Java
4
star
12

fosd.net

fosd.net
CSS
2
star
13

MassLastfmTagger

Scala
1
star
14

mlip-s23

HTML
1
star
15

Jetway

Python
1
star
16

TypeChef-LinuxAnalysis2

C++
1
star
17

cv

cv
HTML
1
star
18

TypeChef-BusyboxAnalysis

C
1
star
19

mergebyifdef

Java
1
star
20

FestivalSheet

small script to poll information from all festival artists from last.fm
Scala
1
star