Nick Palladinos (@palladin)
github

palladin

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    421
  • Global Rank 67,167 (Top 3 %)
  • Followers 120
  • Following 10
  • Registered over 13 years ago
  • Most used languages
    F#
         63.6 %
    Agda     9.1 %
    Python
         9.1 %
    TypeScript
         9.1 %
    Idris     9.1 %
  • Location πŸ‡¬πŸ‡· Greece
  • Country Total Rank 118
  • Country Ranking
    Agda     1
    Idris     1
    F#
         2
    TypeScript
         246
    Python
         859

Top repositories

1

Higher

A lightweight library of abstractions for Higher-kinded programming in F#
F#
184
star
2

Eff

A library for programming with Algebraic Effects in F#
F#
96
star
3

logic

A logic programming library for F#
F#
45
star
4

fsharp-snippets

Collection of F# snippets
F#
40
star
5

idris-snippets

Collection of Idris snippets
Idris
21
star
6

multi-stage-fsharp

Multi-stage Programming in F#
F#
12
star
7

Delimcc

A Monadic library for for multi-prompt delimited control in F#
F#
6
star
8

little-reasoner

A small hack that combines the power of ChatGPT and the Z3 theorem prover
Python
3
star
9

typescript-snippets

Collection of typescript snippets
TypeScript
2
star
10

fsharp-exchange

Presentation and demo code for the F# eXchange 2015
F#
1
star
11

cubicaltt-snippets

Cubical Type Theory snippets
Agda
1
star