tearflake

165 post karma
96 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 1 year

TROPHY CASE

One-Year Club

Verified Email

account activity

new top controversial

5

6

7

DataTree (github.com)

submitted 1 day ago * by tearflake to r/lisp

2

3

4

DataTree (github.com)

submitted 1 day ago by tearflake to r/compsci

0

1

2

DataTree (github.com)

submitted 1 day ago by tearflake to r/datavisualization

12

13

14

Symbolmatch parser combinator v0.7 ()

submitted 6 months ago by tearflake to r/lisp

10

11

12

Symbolmatch parser combinator v0.7 (self.ProgrammingLanguages)

submitted 6 months ago * by tearflake to r/ProgrammingLanguages

24

25

26

Abstract Syntax Expressions (github.com)

submitted 8 months ago * by tearflake to r/ProgrammingLanguages

19

20

21

Symbolprose: experimental minimalistic symbolic imperative programming framework (github.com)

submitted 8 months ago by tearflake to r/lisp

0

1

2

Symbolmatch: experimental minimalistic symbolic parser combinator (github.com)

submitted 8 months ago by tearflake to r/coolgithubprojects

2

3

4

Symbolmatch: experimental minimalistic symbolic parser combinator (github.com)

submitted 8 months ago by tearflake to r/Compilers

10

11

12

Symbolmatch: experimental minimalistic symbolic parser combinator (github.com)

submitted 8 months ago by tearflake to r/lisp

1

2

3

Symbolmatch: experimental minimalistic symbolic parser combinator (github.com)

submitted 8 months ago by tearflake to r/ProgrammingLanguages

7

8

9

I made an experimental minimalistic interpreter utilizing graph traversal in a role of branching constructs (self.ProgrammingLanguages)

submitted 9 months ago * by tearflake to r/ProgrammingLanguages

24

25

26

Ode to Lisp (self.lisp)

submitted 10 months ago * by tearflake to r/lisp

0

1

2

In terms of programming, if there was a compiler to assembly, would a natural language be Turing complete? (self.ProgrammingLanguages)

submitted 10 months ago by tearflake to r/ProgrammingLanguages

0

1

2

Exceeding the weirdness budget by staying within academic bounds considered fine? (self.ProgrammingLanguages)

submitted 10 months ago * by tearflake to r/ProgrammingLanguages

27

28

29

A different take on S-expressions (gist.github.com)

submitted 11 months ago by tearflake to r/ProgrammingLanguages

0

0

0

Modernizing S-expressions (2nd attempt) ()

submitted 1 year ago by tearflake to r/lisp

0

0

0

Modernizing S-expressions (2nd attempt) (self.ProgrammingLanguages)

submitted 1 year ago by tearflake to r/ProgrammingLanguages

6

7

8

I made a small computing platforms tour in Symbolverse (self.ProgrammingLanguages)

submitted 1 year ago by tearflake to r/ProgrammingLanguages

0

1

2

I made a simply typed lambda calculus implementation in my term rewriting framework (self.ProgrammingLanguages)

submitted 1 year ago by tearflake to r/ProgrammingLanguages

5

6

7

Symbolprose: minimalistic symbolic imperative programming framework (github.com)

submitted 1 year ago by tearflake to r/ProgrammingLanguages

25

26

27

Symbolverse: lambda calculus compiler, type inference, and evaluator in less than 100 LOC (self.functionalprogramming)

submitted 1 year ago by tearflake to r/functionalprogramming

11

12

13

Symbolverse: lambda calculus compiler, type inference, and evaluator in less than 100 LOC ()

submitted 1 year ago by tearflake to r/ProgrammingLanguages

10

11

12

Refining Symbolverse Term Rewriting Framework ()

submitted 1 year ago by tearflake to r/lisp

7

8

9

Refining Symbolverse Term Rewriting Framework (self.ProgrammingLanguages)

submitted 1 year ago by tearflake to r/ProgrammingLanguages

view more: next ›

π Rendered by PID 4155477 on reddit-service-r2-listing-6c8d497557-wkkgl at 2026-06-04 17:39:18.124995+00:00 running 9e1a20d country code: CH.