SuzanneSoy/2010-mani

Stars
1
Language
License
Other
Created over 14 years ago
Updated over 14 years ago

SuzanneSoy/2010-mani

SuzanneSoy

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

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.

type-expander

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

anaphoric

Anaphoric macros for racket

2011-m1s2-ter

Reconception du jeu PtiClic sous Android™.

SearchBar

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

2010-m1s1-complexite

Projet du cours de complexité.

debug-scopes

Helper utilities to debug scope-related problems in Racket

XternalApps

XternalApps workbench for FreeCAD

phc-thesis

Bits and pieces of my memoir

subtemplate

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

phc-toolkit

Racket toolkit used for the phc project. Unstable.

2010-git-history

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

phc-adt

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

tr-immutable

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

repltest

REPLtest: Copy-paste your REPL interactions, and have them run as tests

git-tutorial

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

typed-struct-props

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.

xlist

Fancy lists, to be used as a type or match pattern.

mandrake-8-chroot

Scripts to get the programs of Mandrake 8.0 to work inside a chroot on Xubuntu 16.04

2010-lew

Un jeu de rôle en 2D vue de dessus.

2011-m2s3-presentation-terrain

Présentation sur la génération de terrains

scribble-enhanced

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

2011-m2s3-cognition

remember

Compile-time memoization for Racket.

typed-map

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

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

2010-ide-langage-grunt-flin607

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

2010-editeur-semantique-wysiwym

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

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

2010-detection-doublons

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

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)

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.

2011-grunt-lang

Langage de programmation orienté dataflow (en cours de développement)

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.

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.

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.

polysemy

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

2011-m2s3-city-builder

A procedural city builder

2011-m2s3-systemes-reactifs

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.

2010-mplayer-daemon

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