Donald Thompson (@witt3rd)
github

witt3rd

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    21
  • Global Rank 621,339 (Top 22 %)
  • Followers 19
  • Following 26
  • Registered over 13 years ago
  • Most used languages
    Python
         38.5 %
    Jupyter Notebook
         23.1 %
    Idris     15.4 %
    C#
         15.4 %
    Scala
         7.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 139,947
  • Country Ranking
    Idris     40
    Scala
         3,837

Top repositories

1

ontologies-ttl

common ontologies in Turtle format
5
star
2

tinytextgrad

Automatic prompt optimization by iteratively refining them using feedback
Python
4
star
3

idris-music

Learning Idris through recreational coding
Idris
2
star
4

gai_pdf_rag

A simple PDF RAG service using LangServe
Python
1
star
5

qa-store

Like a key-value store, but for questions and answers
Python
1
star
6

unity-tutorials-imphenzia-basics

C#
1
star
7

unity-input-tests

C#
1
star
8

neptune-python-utils

Python 3 library that simplifies using Gremlin-Python to connect to Amazon Neptune.
Python
1
star
9

jigsolver

Use computer vision to automatically solve jigsaw puzzles
Jupyter Notebook
1
star
10

python-ray

Jupyter Notebook
1
star
11

linked-data

parsing linked-data (n-triples) in scala with parboiled2
Scala
1
star
12

otto

Jupyter Notebook
1
star
13

idris-type-driven-development

Worked examples from "Type-Driven Development with Idris" using Idris2
Idris
1
star
14

ada

Python
1
star