Nada Amin namin

Assistant Professor of Computer Science

namin / gist:a03d57fe10ad4ae17ccc8732fcaf8a54

Created July 28, 2016 07:21 — forked from milessabin/gist:aae285025a32fac0f5c1

Trivial type safe heterogenous map using only dependent method types, singleton-typed String literal keys and implicits.

	scala> trait Assoc[K] { type V ; val value: V }
	defined trait Assoc

	scala> def mkAssoc[V0](k: String, v: V0): Assoc[k.type] { type V = V0 } =
	\| new Assoc[k.type] { type V = V0 ; val value = v }
	mkAssoc: [V0](k: String, v: V0)Assoc[k.type]{type V = V0}

	scala> implicit def nameAssoc = mkAssoc("Name", "Mary")
	nameAssoc: Assoc[String("Name")]{type V = String}

namin / Chess-agent-using-dspy.py

Last active June 2, 2024 12:14 — forked from fsndzomga/Chess-agent-using-dspy.py

	import chess
	import chess.engine
	import os
	import dspy
	from pydantic import BaseModel, Field
	from dspy.functional import TypedPredictor

	#from dotenv import load_dotenv
	#load_dotenv()
	#llm = dspy.OpenAI(model='gpt-4', api_key=os.getenv("OPENAI_API_KEY"))