RimuTec / dev-container-typescript
An opinionated dev container for TypeScript and VS Code
☆15Updated 9 months ago
Alternatives and similar repositories for dev-container-typescript:
Users that are interested in dev-container-typescript are comparing it to the libraries listed below
- TypeScript functional programming (mirror)☆15Updated 3 years ago
- Home page for the Simple Haskell Initiative☆15Updated 2 years ago
- A textbook for Conway's Game of Life.☆33Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 10 years ago
- ☆13Updated 6 months ago
- Pure, statically typed, content-addressable, programming language for spreadsheet use☆27Updated last year
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆13Updated this week
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- JSON expressions as abstract syntax notation (think "s-expressions")☆18Updated 5 months ago
- Generate PostScript diagrams from an EBNF grammar☆25Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Updated 13 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆44Updated last week
- These are F# solutions of Ninety-Nine Haskell Problems☆40Updated 6 years ago
- ☆14Updated 11 months ago
- Simplifies consuming nuget packages in powershell☆16Updated 8 years ago
- Visual Studio Code Extention to Set Executable Bits☆15Updated 2 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- Annie's version of talespin☆12Updated 6 years ago
- A simple programming language packed with features that compiles straight to JavaScript for perfect in-browser portability.☆14Updated 2 years ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆19Updated 4 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- VS Code extension to run commands in Markdown files☆15Updated 6 months ago
- The Bertrand Constraint Language☆29Updated last year
- Fantasy Land Monad and Alternative instances for Fluture's hook☆19Updated 3 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- Property-based tests for FL-compatible ADTs☆33Updated 3 years ago
- convert the types: json, yaml, xml, csv, hjson, json5, ini, toml, and hocon.☆18Updated 3 years ago