caotic123/C-funny-trash-things caotic123/C-funny-trash-things

  • Stars
    star
    7
  • Rank 2,255,662 (Top 46 %)
  • Language
    C
  • Created over 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
caotic123/C-funny-trash-things
github

caotic123

Reviews

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

Repository Details

This repository almost work...almost fail.

More Repositories

1

PomPom-Language

The cuteness implementation of a dependently typed language.
Haskell
186
star
2

Kei

A small and expressive dependently typed language
Haskell
127
star
3

Ane-Language

A tool for analyze lambda calculus terms
Haskell
6
star
4

Grr-Programming-Language

Everything is a string but what the problem?
Lua
3
star
5

Formalized-STLC

A small formalization of simply typed lambda calculus
Coq
2
star
6

BrainLambda

Yet a new form the describe brainfuck
Scheme
2
star
7

Magenta-Languange

A experimental language that compiles to Clang LLVM
C++
1
star
8

Introducao-a-programacao-funcional-em-Lua

1
star
9

Dependent-vectors-but-without-tears

Because we don't want tears using dependent vectors
Coq
1
star
10

Formalization-of-Fundamental-Theorem-of-Arithmetic

Formalization of Fundamental Theorem of Arithmetic and Euclides Lemma
Coq
1
star