Managed Projects

icarus-lang

  Analyzed about 1 month ago

Programming language designed as an experiment to explore static verification of mutation contracts. A hybrid imperative/functional language designed to explore the boundary between these 2 paradigms - trying to port some of the lessons and advantages from functional programming back to a more ... [More] traditional imperative style. Allows controlled mutation and aliasing, but only when both caller and callee agree to it. No global mutable state. [Less]

35.9K lines of code

1 current contributors

about 6 years since last commit

2 users on Open Hub

Activity Not Available
0.0
 
I Use This

plot

  Analyzed about 1 month ago

plot - a toy r7rs-small (WG1) scheme interpreter

8.24K lines of code

0 current contributors

almost 7 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

Engineer's Nightmare

  Analyzed about 1 month ago

A game about keeping a spaceship from falling apart.

127K lines of code

0 current contributors

almost 7 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: No declared licenses
Tags game gamedev

Carp

  Analyzed about 1 month ago

A statically typed lisp, without a GC, for high performance applications.

25.8K lines of code

21 current contributors

5 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

ark-editor

  Analyzed about 1 month ago

experimental GUI text editor

1.04K lines of code

0 current contributors

almost 12 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

smirk-blog

  Analyzed about 1 month ago

simple blog management script

151 lines of code

0 current contributors

over 10 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

linear_hash

  Analyzed about 1 month ago

linear probing hash table implementation written in pure C (c99)

1.99K lines of code

0 current contributors

almost 7 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

linear_set

  Analyzed about 1 month ago

a set implementation written in pure C (c99), uses linear probing for hash collisions

1.14K lines of code

0 current contributors

almost 7 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

naive_adjacency_matrix

  Analyzed about 1 month ago

naive adjacency matrix implementation

429 lines of code

0 current contributors

over 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

bitwise_adjacency_matrix

  Analyzed about 1 month ago

adjacency matrix implementation using bitwise operations

529 lines of code

0 current contributors

over 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This