SuzanneSoy/XternalApps

XternalApps workbench for FreeCAD

Language: Python - Size: 145 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

SuzanneSoy/SearchBar

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

Language: Python - Size: 1.26 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 7

SuzanneSoy/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)

Size: 13.7 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

SuzanneSoy/anaphoric

Anaphoric macros for racket

Language: Racket - Size: 61.5 KB - Last synced at: 28 days ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 3

SuzanneSoy/phc-adt

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

Language: Racket - Size: 103 KB - Last synced at: 28 days ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 2

SuzanneSoy/debug-scopes

Helper utilities to debug scope-related problems in Racket

Language: Racket - Size: 31.3 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 5

SuzanneSoy/minimal-pwa-brave-ipfs-bug Fork of minimal-xyz/minimal-pwa

An minimal example for PWA

Language: JavaScript - Size: 16.5 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

SuzanneSoy/phc-thesis

Bits and pieces of my memoir

Language: Racket - Size: 53.8 MB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0

SuzanneSoy/eta Fork of aioobe/eta

Generic tool for monitoring ETA and progress of an arbitrary process.

Size: 56.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

SuzanneSoy/travis-web Fork of travis-ci/travis-web 📦

The Ember web client for Travis CI

Language: CSS - Size: 54.2 MB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/tock-mirror 📦

Mirror of http://offog.org/git/tock.git . Tock (translator from occam to C from Kent) is a Haskell-based compiler for occam and related languages.

Language: Haskell - Size: 30 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/travis-stats Fork of scribu/travis-stats

Travis CI build charts

Language: JavaScript - Size: 85.9 KB - Last synced at: about 1 year ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/WorkFeature Fork of Rentlau/WorkFeature 📦

Tool utility to create Points (mid points, center of circle, center of object(s)...), Axes (from 2 points, Normal of a plane...), Planes (from 3 points, from one axis and a point...) and many other useful features to facilitate the creation of your project. This utility is up next in the combo view with "Work Features" label.

Language: Python - Size: 18.9 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/WiTeX Fork of AndrewBelt/WiTeX

If Donald Knuth had designed Wikipedia

Language: CSS - Size: 4.54 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

SuzanneSoy/trivial Fork of bennn/trivial

Stronger types for a few Typed Racket operators

Language: Racket - Size: 668 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/travis-api Fork of travis-ci/travis-api 📦

The public Travis API

Language: Ruby - Size: 4.94 MB - Last synced at: about 1 year ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/samth-dissertation Fork of samth/dissertation 📦

Language: TeX - Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/whalesong Fork of soegaard/whalesong

Whalesong: Racket to JavaScript compiler

Language: Racket - Size: 8.71 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

SuzanneSoy/racket-udelim Fork of willghatch/racket-udelim

Library/metalanguage for adding more parenthesis and string delimiters.

Language: Racket - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/scribble-mathjax Fork of mathjax/MathJax

Packaged version of mathjax so that it can be used in Racket (Scribble) documents. Uses https://github.com/mathjax/MathJax-grunt-cleaner .

Language: JavaScript - Size: 102 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/shields Fork of badges/shields

Shields badge specification, website and default API server

Language: JavaScript - Size: 4.15 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/rpi-open-firmware Fork of christinaa/rpi-open-firmware

Open source VPU side bootloader for Raspberry Pi.

Language: C - Size: 1.04 MB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/rackunit Fork of racket/rackunit

Language: Racket - Size: 313 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/rash Fork of cesquivias/rash

A *nix shell written in Racket

Language: Racket - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/remix Fork of jeapostrophe/remix

remix - a revised version of Racket

Language: Racket - Size: 107 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/solvespace Fork of solvespace/solvespace

Parametric 2d/3d CAD

Language: C++ - Size: 16.9 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/redmine-graphs-plugin Fork of dmp/redmine-graphs-plugin 📦

This plugin provides instances of Redmine a method with additional graphs.

Language: Ruby - Size: 160 KB - Last synced at: about 1 year ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

SuzanneSoy/profile Fork of racket/profile 📦

Language: Racket - Size: 108 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/pkg-memoir-2017 📦

Example for a question on the Racket mailing list. Not much to see.

Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/merxvell.github.io Fork of Merxvell/merxvell.github.io

Language: HTML - Size: 1010 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/pmap Fork of APOS80/pmap 📦

pmap for one and two lists using futures.

Language: Racket - Size: 17.6 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/hygienic-reader-extension Fork of AlexKnauth/hygienic-reader-extension

a racket library for adding hygiene to reader extensions

Language: Racket - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/lens Fork of jackfirth/lens

A Racket package for creating and composing pure functional lenses

Language: Racket - Size: 394 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/pkg-implementation-2017 📦

Example for a question on the Racket mailing list. Not much to see.

Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/kiki Fork of monsterkodi/kiki 📦

kiki the nano bot

Language: CoffeeScript - Size: 12.8 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/pasterack Fork of stchang/pasterack 📦

The Racket pastebin.

Language: Racket - Size: 168 KB - Last synced at: about 1 year ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/gui Fork of racket/gui

Language: Racket - Size: 15.2 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/generic-syntax-expanders Fork of jackfirth/generic-syntax-expanders

A Racket package for creating macros with built-in support for defining sub-macros within them, similar to match expanders

Language: Racket - Size: 43 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/lexi-lambda.github.io Fork of lexi-lambda/lexi-lambda.github.io 📦

Language: CSS - Size: 181 KB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/journal-article Fork of onix-awk/journal-article

Language: TeX - Size: 159 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/kw-utils Fork of AlexKnauth/kw-utils 📦

misc kw utils

Language: Racket - Size: 37.1 KB - Last synced at: about 1 year ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/lang-slide Fork of samth/lang-slide 📦

A slide that shows all the languages used to build Racket

Language: Racket - Size: 510 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/macrotypes Fork of stchang/macrotypes

Language: Racket - Size: 2.51 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

SuzanneSoy/Iosevka Fork of be5invis/Iosevka

Spatial efficient monospace font family for programming. Built from code.

Language: JavaScript - Size: 449 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/fear-of-macros Fork of greghendershott/fear-of-macros

A practical guide to Racket macros

Language: Racket - Size: 1.44 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/FreeCAD Fork of FreeCAD/FreeCAD

This is the official source code of FreeCAD

Language: C++ - Size: 404 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/geosolver Fork of philetus/geosolver

Language: Python - Size: 345 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/drracket Fork of racket/drracket

DrRacket, IDE for Racket

Language: Racket - Size: 13.5 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/doc-coverage Fork of jackfirth/doc-coverage

A Racket package for inspecting and testing the number of documented exports of a module

Language: Racket - Size: 20.5 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/fpgatools Fork of Wolfgang-Spraul/fpgatools 📦

public domain tools for FPGAs

Language: C - Size: 2.32 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/FiraCode Fork of tonsky/FiraCode

Monospaced font with programming ligatures

Language: Clojure - Size: 28.7 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/cur Fork of wilbowma/cur

Powerful meta-programming for powerful types.

Language: Racket - Size: 651 KB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/cover Fork of florence/cover

a code coverage tool for racket

Language: Racket - Size: 793 KB - Last synced at: about 1 year ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/control Fork of soegaard/control

Control Structures

Language: Racket - Size: 11.7 KB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/debug Fork of AlexKnauth/debug 📦

a racket meta-language for debugging

Language: Racket - Size: 28.3 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/datalog Fork of racket/datalog

Language: Racket - Size: 2.36 MB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

SuzanneSoy/2d Fork of racket/2d 📦

2d syntax

Language: Racket - Size: 65.4 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/beautiful-racket Fork of mbutterick/beautiful-racket 📦

Resources for the “Beautiful Racket” book

Language: Racket - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SuzanneSoy/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.

Language: JavaScript - Size: 813 KB - Last synced at: about 1 year ago - Pushed at: over 14 years ago - Stars: 1 - Forks: 0

SuzanneSoy/2010-mplayer-daemon 📦

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

Size: 93.8 KB - Last synced at: about 1 year ago - Pushed at: over 14 years ago - Stars: 1 - Forks: 0

SuzanneSoy/2010-editeur-semantique-wysiwym 📦

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

Language: JavaScript - Size: 184 KB - Last synced at: about 1 year ago - Pushed at: over 14 years ago - Stars: 1 - Forks: 0

SuzanneSoy/scribble-math Fork of soegaard/bracket

Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation

Language: JavaScript - Size: 100 MB - Last synced at: 29 days ago - Pushed at: 12 months ago - Stars: 17 - Forks: 5

SuzanneSoy/subtemplate

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

Language: Racket - Size: 260 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

SuzanneSoy/xkcd

Language: Go - Size: 78.1 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SuzanneSoy/git-tutorial

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

Language: JavaScript - Size: 2.54 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

SuzanneSoy/Cookie-Clicker-Source-Code Fork of Trixter9994/Cookie-Clicker-Source-Code

Cookie Clicker source code for... educational purposes...

Language: JavaScript - Size: 11.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SuzanneSoy/archivable

This blog post suggests ways to optimize IPFS web pages archivability

Language: JavaScript - Size: 382 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SuzanneSoy/filesystem-fuse

Language: Python - Size: 121 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SuzanneSoy/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

Language: Shell - Size: 4.88 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

SuzanneSoy/pagraphcontrol Fork of futpib/pagraphcontrol

PulseAudio Graph Control

Language: JavaScript - Size: 661 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SuzanneSoy/phc-graph

Graph manipulation library in Typed/Racket

Language: Vue - Size: 465 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

SuzanneSoy/gruntnetwork.com

An old backup of the website for the gruntnetwork.com OS project

Language: HTML - Size: 75.2 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/EM-Workbench-for-FreeCAD Fork of ediloren/EM-Workbench-for-FreeCAD

This project is dedicated to building an ElectroMagnetic workbench for FreeCAD. FreeCAD is a free 3D parametric CAD. FreeCAD is used as pre-processor interfacing to the open source electromagnetic field solvers FastHenry and FasterCap.

Size: 163 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/SelectorToolbar Fork of triplus/SelectorToolbar

Selector toolbar for FreeCAD

Size: 29.3 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/git-loglog

Proposal for an improved git log, based on one I found on the net.

Size: 174 KB - Last synced at: about 14 hours ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/table.js

A simple table editor in JavaScript

Language: JavaScript - Size: 15.6 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/man-pages

man pages with anchors

Language: HTML - Size: 17.3 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/wf-install Fork of WayfireWM/wf-install

A repository with installation scripts for wayfire

Language: Shell - Size: 56.6 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

SuzanneSoy/travis-racket Fork of greghendershott/travis-racket

Use Travis CI with Racket

Size: 69.3 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/hash-files

A simple utility to hash some files in a content-aware way, e.g. two git repositories with the same commit (for each branch) will have the same hash.

Language: Python - Size: 38.1 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/FreeCAD-Doc Fork of FreeCAD/FreeCAD-Doc

Synced FreeCAD online documentation

Language: HTML - Size: 178 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/FreeCAD_assembly3 Fork of realthunder/FreeCAD_assembly3

Experimental attempt for the next generation assembly workbench for FreeCAD

Size: 878 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/cadquery-freecad-module Fork of jmwright/cadquery-freecad-module

A module-workbench combo that adds a CadQuery editor to FreeCAD

Size: 45.4 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/Lattice2 Fork of DeepSOIC/Lattice2

FreeCAD workbench about arrays of all sorts and kinds, and local coordinate systems

Size: 2.67 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/nixGL Fork of nix-community/nixGL

A wrapper tool for nix OpenGL application

Language: Nix - Size: 69.3 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/filter-word-diff Fork of albfan/filter-word-diff

Filter diffs about indentation changes

Size: 1000 Bytes - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

SuzanneSoy/latex-aws-lambda-layer Fork of serverlesspub/latex-aws-lambda-layer

latex/pdflatex binaries for AWS Lambda

Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

SuzanneSoy/UnionFind Fork of rinderknecht/UnionFind 📦

Some variant implementations of the Union-Find algorithm

Language: OCaml - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

SuzanneSoy/qubes-core-agent-linux Fork of QubesOS/qubes-core-agent-linux

Qubes component: core-agent-linux

Language: Shell - Size: 5.94 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

SuzanneSoy/qubes-doc Fork of QubesOS/qubes-doc

Qubes documentation

Language: HTML - Size: 8.76 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/OCaml-build Fork of rinderknecht/OCaml-build

A GNU Makefile to build simple OCaml applications

Language: Makefile - Size: 177 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

SuzanneSoy/kaplan-tarjan-dequeues-ocaml

An implementation in OCaml of Kaplan & Tarjan's purely functional worst-case O(1) catenable deques

Language: Makefile - Size: 23.4 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

SuzanneSoy/os-test-framework-deploy-artifacts

This repository contains artifacts created by Travis-Ci for the repository travis-os

Size: 23.4 MB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

SuzanneSoy/os-test-framework

Test framework to run an OS in multiple emulators, as a guest graphical / text shell on linux, and so on.

Language: Makefile - Size: 195 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

SuzanneSoy/zotero Fork of zotero/zotero

Zotero is a free, easy-to-use tool to help you collect, organize, cite, and share your research sources.

Language: JavaScript - Size: 95.5 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

SuzanneSoy/phc-seminar

Slides for a seminar that I will give about the work done during the course of my Ph.D

Language: TeX - Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

SuzanneSoy/phc-ts

Language: Racket - Size: 9.77 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/racket-pkg-website Fork of racket/racket-pkg-website

A frontend for the Racket Package Catalog.

Language: Racket - Size: 789 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

SuzanneSoy/KaTeX Fork of KaTeX/KaTeX

Fast math typesetting for the web.

Language: JavaScript - Size: 19.1 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

SuzanneSoy/typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.

Language: Racket - Size: 20.5 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0