Nathan BeDell (@Sintrastes)
github

Sintrastes

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    57
  • Global Rank 311,131 (Top 11 %)
  • Followers 25
  • Following 38
  • Registered over 11 years ago
  • Most used languages
    Haskell
         47.4 %
    Kotlin
         26.3 %
    Swift
         5.3 %
    HTML
         5.3 %
    Julia
         5.3 %
    Java
         5.3 %
    Idris     5.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 66,121
  • Country Ranking
    Idris     34
    Haskell
         439
    Julia
         932
    Kotlin
         1,303
    Swift
         8,426

Top repositories

1

Montague

A library for non-deterministically parsing natural language expressions into a structured form.
Haskell
16
star
2

xen-fret

A web app for generating SVG microtonal scale diagrams for fretted string instruments.
Haskell
5
star
3

idr-pure-prolog

Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
Idris
4
star
4

comonadic-ui-hs

Framework in Haskell for building comonadic user interfaces based off the thesis Comonads for user interfaces.
Haskell
3
star
5

hafly

Dynamic embeddable scripting language in Haskell.
Haskell
3
star
6

bli-prolog

Statically typed logic programming language designed for bedelibry.
Haskell
3
star
7

kinetix

A small DSL in Kotlin for incremental computation, inspired by the incremental library for OCaml.
Kotlin
3
star
8

Iodine

Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.
Kotlin
3
star
9

STLK

Extensible simply typed lambda calculus interpreter in Kotlin using object algebras.
Kotlin
2
star
10

buildable-kt

A small library for deriving a generic buildable implementation for Kotlin data classes.
Kotlin
2
star
11

MapAlgebra.jl

High-level declarative GIS processing library for Julia.
Julia
2
star
12

bedelibry-app

Reflex (web app) front-end for Bedelibry.
Haskell
2
star
13

xen-toolbox

A toolbox for algorithmic composition and livecoding xenharmonic music in Haskell.
Haskell
2
star
14

sintrastes.github.io

HTML
1
star
15

hafly-web-repl

Reflex REPL for the hafly language.
Haskell
1
star
16

FlixRP

Functional Reactive Programming in the Flix programming language.
1
star
17

monad-tree

Monad instances for a rose-tree-like data structure used for nondeterministic computations.
Haskell
1
star
18

atak-flix-dev

Experiments with building an ATAK plugin with the Flix programming language (:
Java
1
star
19

Compose--

Minimalistic declarative UI engine in Kotlin built on top of flow. Loosely based on fudgets.
Kotlin
1
star
20

STLS

Simply typed lambda calculus interpreter in Swift.
Swift
1
star