Discover @namin Open Source projects

Nada Amin (@namin)

namin

Stars
2,432
Global Rank 12,433 (Top 0.5 %)
Followers 1,061
Following 421
Registered over 16 years ago
Most used languages

Scheme
27.1 %

Scala
20.0 %

HTML
8.6 %

C
5.7 %

Clojure
4.3 %

OCaml
4.3 %

Python
4.3 %

C#
2.9 %

Common Lisp
2.9 %

Java
2.9 %

JavaScript
2.9 %

TeX
2.9 %

Racket
1.4 %

Emacs Lisp
1.4 %

TypeScript
1.4 %

Coq 1.4 %

Dafny 1.4 %

C++
1.4 %

Haskell
1.4 %

Shell
1.4 %
Location 🇺🇸 United States
Country Total Rank 4,145
Country Ranking

Scheme
5

Dafny 7

Racket
31

Common Lisp
102

Scala
170

Clojure
222

Coq 243

OCaml
248

TeX
806

Haskell
919

HTML
937

Emacs Lisp
1,236

C
2,282

Python
5,325

C#
8,035

inc

an incremental approach to compiler construction

llm-verified-with-monte-carlo-tree-search

LLM verified with Monte Carlo Tree Search

dot

formalization of the Dependent Object Types (DOT) calculus

io.livecode.ch

interactive programming tutorials, powered by Github and Docker

staged-miniKanren

staged relational interpreters: running with holes, faster

logically

explorations in core.logic

unsound

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

metaprogramming

Course on Metaprogramming

pink

Collapsing Towers of Interpreters (in Scheme)

propagators

the Art of the Propagator

biohacker

debugging biological networks to reach coherence, completeness and consistency

scalogno

prototyping logic programming in Scala

metasolfeggio

computer-aided harmony and counterpoint

clpsmt-miniKanren

CLP(SMT) on top of miniKanren

metamk

Meta-Interpreters in miniKanren

play-js-validation

lms-verify

generative programming & verification

lms-black

purple: compiling a reflective language

leanTAP

A Declarative Theorem Prover for First-Order Classical Logic

lambdajam

Workshop on Program Transformations

reflection-schemes

exploration of reflective architectures in Scheme

lms-sandbox

Graduated to js.scala: JavaScript as an embedded DSL in Scala

clpset-miniKanren

CLP(Set) in miniKanren

grk2clj

From Greek to Clojure, Clojure/conj 2013

minikanren-confo

core.logic.nominal at the minikanren confo 2013

lua

reading and understanding the lua source code

dafny-sandbox

Dafny for Metatheory of Programming Languages

blond

the reflective tower Blond by Olivier Danvy & Karoline Malmkjær

paip

Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp

linkrev

reflective-towers

software archaeology of reflective towers of interpreters

mk-on-smt

miniKanren for search, SMT for solving

spots

various code snippets in various languages

rop

reflection-oriented programming

3-proto-lisp

Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.

lambda-cube

abi

higher-rank

Practical type inference for arbitrary-rank types

lisp-variations

variations on lisp, exploring reflection

brown

the reflective language(s) Brown by Dan Friedman and Mitch Wand

relaxed-machines

explorations in neuro-symbolic differentiable interpreters

Communication-Bootstrapping-v1

appendix of Jake Beal's master thesis (2002)

lambda-calculus

steps

open, extensible composition models

relational-virology

Synthesis of simple virus-like programs via relational interpreter.

feel2

Feeling Wheel 2.0: analyze your mood

refl-instr

reflective architectures that instrument and reify the computation steps

sav

Course Project in Synthesis, Analysis and Verification in Scala

SExp

a prose experiment in learning S-expression manipulations

neoflix-scala

A port of the Neo4j-based Movie Recommender to Scala & Play 2.0

scheme-mechanics

modmod

A modular module system by Xavier Leroy

MusicalBubbles

feel

Feel Wheel: analyze your mood

hallucinations

Original Code for Engineered Robustness by Controlled Hallucination (AAAI 2008) by Beal and Sussman

scalding-commoncrawl

lms-regexp

excel4vivi

Programming Microsoft Excel

.emacs.d

selfopt

prototyping self-optimizing systems

wip-scala-virtualized

make scala virtualized great again

ott_distro

implicits-demo

Implicits in Practice (demo at ML Family Workshop 2014)

micado

Automatically exported from code.google.com/p/micado

coq-sandbox

scheme2017

Website for Scheme Workshop 2017

InteractiveScheme

githubhop

lms-koika

playground

nothing to see: just to play with https://io.livecode.ch without breaking a live page

lms-prob

world-proverbs

Proverbs from around the world and languages

forest

experiments in diagrams

dafny-sketcher

piggy-backing on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning

io-chatgpt.livecode.ch

a ChatGPT plugin to interact with io.livecode.ch, which can be used as a template to create custom ChatGPT plugins and GPT actions