@noti0na1
github

noti0na1

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    133
  • Global Rank 165,151 (Top 6 %)
  • Followers 44
  • Following 178
  • Registered about 10 years ago
  • Most used languages
    Java
         36.4 %
    Haskell
         18.2 %
    Racket
         18.2 %
    OCaml
         18.2 %
    Clojure
         9.1 %

Top repositories

1

socc

Simple C Compiler in OCaml
OCaml
86
star
2

LambdaCalculus-java

Lambda calculus implemented in Java
Java
19
star
3

Kripke-Models

A Racket Implement of Kripke Models
Racket
6
star
4

GADTFormat

Type-safe Format using GADT in OCaml
OCaml
5
star
5

Faux-Racket

A Monadic Interpreter for Faux Racket written in Haskell
Haskell
4
star
6

Racket-Codes

A Collection of My Racket Code
Racket
2
star
7

HFSN

Simple Java Http File Server
Java
2
star
8

CodeTranslator

A Code Translator for C8, CS146
Haskell
2
star
9

EncryptedLauncher

An Encrypted Java Launcher
Java
1
star
10

clojure-learn

clojure-learn
Clojure
1
star
11

TranslationPendant

A Translation Pendant
Java
1
star