• Stars
    star
    2
  • Language
    Racket
  • License
    Creative Commons ...
  • Created over 7 years ago
  • Updated about 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Makes a small subset of struct type properties available in Typed/Racket. The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.

More Repositories

1

type-expander

Type expanders (i.e. type-level functions) for Typed/Racket
Racket
17
star
2

anaphoric

Anaphoric macros for racket
Racket
8
star
3

2011-m1s2-ter

Reconception du jeu PtiClic sous Android™.
PHP
5
star
4

SearchBar

A FreeCAD Mod which adds a search bar to the user inferface. The results include tools, document objects and (still to do) preferences.
Python
4
star
5

2010-m1s1-complexite

Projet du cours de complexité.
Common Lisp
4
star
6

XternalApps

XternalApps workbench for FreeCAD
Python
3
star
7

subtemplate

Automatic generation of temporary identifiers for racket syntax templates, based on subscripts indices on the identifiers (e.g. generate yᵢ … from xᵢ …)
Racket
3
star
8

debug-scopes

Helper utilities to debug scope-related problems in Racket
Racket
2
star
9

phc-toolkit

Racket toolkit used for the phc project. Unstable.
Racket
2
star
10

2010-git-history

script that allows you to view the different versions of a file and step forward / backward through them.
Shell
2
star
11

phc-adt

Algebraic Datatypes for Typed/Racket, with some special features useful for writing compilers
Racket
2
star
12

tr-immutable

Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
Racket
2
star
13

phc-thesis

Bits and pieces of my memoir
Racket
2
star
14

repltest

REPLtest: Copy-paste your REPL interactions, and have them run as tests
Racket
2
star
15

git-tutorial

A tutorial showing how to reimplement GIT in JavaScript, in order to shed light on the inner workings of GIT.
JavaScript
2
star
16

xlist

Fancy lists, to be used as a type or match pattern.
Racket
1
star
17

mandrake-8-chroot

Scripts to get the programs of Mandrake 8.0 to work inside a chroot on Xubuntu 16.04
Shell
1
star
18

2010-lew

Un jeu de rôle en 2D vue de dessus.
C
1
star
19

2011-m2s3-presentation-terrain

Présentation sur la génération de terrains
1
star
20

scribble-enhanced

Enhancements for the scribble language (a documentation language based on Racket)
Racket
1
star
21

2011-m2s3-cognition

1
star
22

remember

Compile-time memoization for Racket.
Racket
1
star
23

typed-map

Type inference helper for map with Typed/Racket. Supports afl, un-annotated lambdas and polymorphic functions.
Racket
1
star
24

2011-m2s3-systemes-reactifs

1
star
25

2010-ide-langage-grunt-flin607

Embryon d'IDE pour un langage de programmation graphique en dataflow, créé durant mon projet universitaire FLIN607.
JavaScript
1
star
26

2010-editeur-semantique-wysiwym

Échec du projet. Ancienne description : Un éditeur sémantique simple pouvant être incorporé dans une page web.
JavaScript
1
star
27

git-rebasei

A small wrapper around git rebase -i to show commits in the same order and with the same information as git log --oneline --decorate
Shell
1
star
28

2010-detection-doublons

Des scripts de détection de doublons que j'utilise pour ranger mon souk...
Python
1
star
29

paper-craft

Templates for the Silhouette Portrait cutter. Licence CC0. Double-check the paper and template size before cutting a template! Look in the Final/ folder for ready-to-cut templates (might still have a couple of issues)
1
star
30

delay-pure

Non-cached promises for Typed/Racket, like delay/name, but safe because only pure functions are allowed. Only a subset of Racket's functions is allowed.
Racket
1
star
31

2011-grunt-lang

Langage de programmation orienté dataflow (en cours de développement)
JavaScript
1
star
32

guix-reproducible-system

Attempt to export a guix system configuration with all dependencies and sources, so that the system can later be used and rebuilt without network access
Makefile
1
star
33

chain-module-begin

Use this Racket package to build meta-languages, where a #%module-begin expands to the #%module-begin of another user-specified language.
Racket
1
star
34

2009-systeme-exploitation-grunt

Gruntnetwork est un début de système d'exploitation créé dans un but éducatif, et pour servir de base (ou d'entraînement) plus tard pour un plus gros système.
C
1
star
35

2010-gestionnaire-projets

Un gestionnaire de projets qui est adapté à mes habitudes de travail. Intégration avec un tracker de bugs et un gestionnaire de versions, notifications (jabber, mail, ...), archivage des projets terminés, notes et favoris, références internes partout où c'est possible.
1
star
36

polysemy

Proof of concept which separates the concept of identifier and the concept of attaching a meaning to it, in Racket.
Racket
1
star
37

2011-m2s3-city-builder

A procedural city builder
C++
1
star
38

2010-mani

Mise À Niveau en Informatique. La Licence Informatique de l'Université Montpellier 2 estime que les étudiants connaissent certaines choses, alors qu'elles ne sont pas enseignées durant les années de lycée. Ce livre (assez court) fournit les explications manquantes aux étudiants.
1
star
39

2010-moteur-site-simple

Échec du projet. Ancienne description : Un moteur de site simpe qui sera utilisé pour le site Montpellier Chamberte Handball. Fonctionnalités prévues : Gallerie d'images, rubriques variées, news, éditeur wysiwyWant basique.
JavaScript
1
star
40

2010-mplayer-daemon

Un lecteur de musique avec une bibliothèque, utilisant mplayer comme moteur de lecture.
1
star