Nada Amin namin

Assistant Professor of Computer Science

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"))

namin / FlashFillCmdLine.cs

Created September 18, 2019 18:34

FlashFill Command Line

	using System;
	using System.Collections.Generic;
	using Microsoft.ProgramSynthesis.Transformation.Text;
	using Microsoft.ProgramSynthesis.Transformation.Text.Semantics;
	using Microsoft.ProgramSynthesis.Wrangling.Constraints;

	namespace FlashFillCmdLine
	{
	class FlashFillCmdLine
	{

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 / ch.lhs

Created July 10, 2016 15:52

Curry-Howard

	This is a literate haskell file, tested in GHC 7.8.2. If you are
	running an earlier version that does not support EmptyCase, you can
	remove it from the language extensions required below and replace the
	definition of abort below to "cheat" by using an infinite loop to
	produce any result type: abort x = abort x

	> {-# LANGUAGE EmptyDataDecls, EmptyCase, RankNTypes, ScopedTypeVariables #-}

	Curry-Howard Isomorphism: Proposition as Types

namin / index.html

Created December 17, 2013 00:56

Nature of Code: Cantor Set

	<html>
	<head>
	<style>
	* { margin: 0; padding: 0; overflow: hidden;}
	#canvas { display: block; }
	</style>
	</head>
	<body>
	<canvas id="canvas"></canvas>
	<script>